For the most recent entries see the Petri Nets Newsletter.

Temporal Logic and Categories of Petri Nets.

Brown, Carolyn; Gurr, Doug

In: Lingas, A.; Karlsson, R.G.; Carlsson, S.: Lecture Notes in Computer Science, Vol. 700; Automata, Languages and Programming, 20nd International Colloquium, ICALP'93, Lund, Sweden, July 5-9, 1993, pages 570-581. Springer-Verlag, 1993.

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

Back to the Petri Nets Bibliography