For the most recent entries see the Petri Nets Newsletter.

Formal Specification of Reactive Logical Control Devices.

Adamski, Marian; Zakrevskij, Arkadij

In: Invited Session on Modelling and Analysis based on Petri nets - International Conference on Information Systems, Analysis, and Synthesis. Proceedings of the World Multiconference on Systemics, Cybernatics ans Informatics (SCI'2001), Computer Science and Engineering: Part II, Volume 14, 2001.

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

Back to the Petri Nets Bibliography