For the most recent entries see the Petri Nets Newsletter.

Specification and Verification of Asynchronous Circuits Using Marked Graphs.

Yoeli, M.

In: Voss, K.; Genrich, H.J.; Rozenberg, G.: Concurrency and Nets - Advances in Petri Nets, pages 605-622. Berlin: Springer-Verlag, 1987.


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

Back to the Petri Nets Bibliography