Do you want to subscribe to the
Petri Nets Newsletter
?
Petri Net Newsletter No. 56
Desel, Jörg
:
How to model traffic lights.
1999.
Kovalyov, Andrei
:
A concise proof of the coverability theorem for live and boundness extended free choice nets.
1999.
Kummer, Olaf
:
A Petri Net View on Synchronous Channels.
1999.
Kummer, Olaf
;
Wienberg, Frank
:
Renew - the Reference Net Workshop.
1999.
Stehr, Mark-Oliver
:
Characterizing Security in Synchronization Graphs.
1999.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography