For the most recent entries see the Petri Nets Newsletter.

Verification af a Local Area Network Protocol with TINA, a Software Package for Petri Nets.

Roux, J.L.; Berthomieu, B.

In: Proc. of the Seventh Workshop on Applications and Theory of Petri Nets, Oxford, UK, pages 183-205. July 1986.

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

Back to the Petri Nets Bibliography