For the most recent entries see the Petri Nets Newsletter.

Some Decision Problems for Timed Petri Nets and Applications to the Verification of Communication Protocols.

Mori, M.; Araki, T.; Taniguchi, K.; Tokura, N.; Kasami, T.

In: Trans. Inst. Electron. and Commun. Eng. Jpn. Sect. E, Vol. E60, No. 10, pages 598-599. October 1977.

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

Back to the Petri Nets Bibliography