For the most recent entries see the
Petri Nets Newsletter.
Keyword: net semantics
-
Botti, Oliver;
Hall, Jon;
Hopkins, Richard:
A Petri Net Semantics of occam.
1991.
-
Olderog, Ernst-Rüdiger:
Correctness of Concurrent Processes.
1991.
-
Proszynski, P.W.:
The Core Concurrency.
1990.
-
Battiston, E.;
de Cindio, F.;
Mauri, G.;
Rapanotti, L.:
Morphisms and Minimal Models for OBJSA Nets.
1990.
-
Best, Eike:
Structure and Behaviour of Concurrent Systems: Selected Results of the Esprit Basic Research Action No. 3148 DEMON (Design Methods Based on Nets).
1990.
-
Goltz, Ursula:
CCS and Petri Nets.
1990.
-
Schmidt, Heinz W.:
Prototyping and Analysis of Non-Sequential Systems Using Predicate-Event Nets.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography