For the most recent entries see the Petri Nets Newsletter.

Petri Net Models for the Description and Verification of Parallel Bus Protocols.

Civera, P.; Conte, G.; Del Corso, D.; Maddaleno, F.

In: Barbacci, M.; Koomen, G.J.: Proc. of the IFIP 8th Int. Conf. on Computer Hardware Description Languages and their Applications, Amsterdam, pages 309-326. Participants Edition, 1987.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography