For the most recent entries see the Petri Nets Newsletter.

Petri Nets: The Specification and Verification of Communication Protocols.

Yang, Z.

In: The First International Conference on Computers and Applications, Beijing (Peking), China, June 20--22, 1984, IEEE, pages 332-339. 1984.


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

Back to the Petri Nets Bibliography