For the most recent entries see the Petri Nets Newsletter.

Modelling and Verification of Distributed Systems by Petri Nets.

Yamada, T.; Tsuji, K.; Kumagai, S.; Kodama, S.

In: Trans. Inst. Electron. Inf. & Commun. Eng., Vol. J70A, No. 2, pages 195-203. February 1987. In Japanese.


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

Back to the Petri Nets Bibliography