For the most recent entries see the
Petri Nets Newsletter.
Experience with Petri Net Based Verification of Communication Protocols Specified by Language Means.
Heiner, Monika
In:
Proc. IFIP-Conference on Network Information Processing Systems, Part II, Sofia, May 1988, pages 105-118.
1988.
Also in:
TC8 Open Symposium / Boyanov, K.; Angelinov, R.: IFIP TC6, pages 91-100.
Amsterdam: North-Holland,
1988.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography