For the most recent entries see the Petri Nets Newsletter.

Modelling and Verification of Sequential Control Systems by Petri Nets.

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

In: IEEE Int. Symp. on Circuits and Systems, San Jose, Vol. 3, pages 988-991. New York: IEEE, 1986.

Also in: Trans. Inst. Electron. & Commun. Eng. Jpn. Part A (Japan), Vol. J69A, No. 7, pages 840-849. 1986.


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

Back to the Petri Nets Bibliography