For the most recent entries see the
Petri Nets Newsletter.
Stehr, M.-O.
-
Coja-Oglan, A.;
Stehr, Mark-Oliver:
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy.
2002.
-
Stehr, M.-O.;
Farwer, B.;
Basten, T.:
Verification: Deductive and Process-Algebra-Based Methods.
2002.
-
Coja-Oghlan, A.;
Stehr, M.-O.:
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy.
2002.
-
Stehr, Mark-Oliver;
Meseguer, José;
Ölveczky, Peter Csaba:
Rewriting Logic as a Unifying Framework for Petri Nets.
2001.
-
Stehr, Mark-Oliver:
Characterizing Security in Synchronization Graphs.
1999.
-
Stehr, Mark-Oliver:
Thinking in Cycles.
1998.
-
Kummer, Olaf;
Stehr, Mark-Oliver:
Petri's Axioms of concurrency - A Selection of Recent Results.
1997.
-
Stehr, Mark-Oliver:
Physically Motivated Axiomatic Concurrency Theory of Cyclic and Acyclic Processes.
1996.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The link to the author's homepage is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography