For the most recent entries see the Petri Nets Newsletter.

Keyword: network protocol

Lakos, C.A.; Keen, C.D.:
LOOPN --- Language for Object-Oriented Petri Nets. 1990.
Antilla, M.; Eriksson, H.; Ikonen, J.; Kujansuu, R.; Ojala, L.; Tuominen, H.:
Tools and Studies of Formal Techniques --- Petri Nets and Temporal Logic. 1983.

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

Back to the Petri Nets Bibliography