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