For the most recent entries see the
Petri Nets Newsletter.
Riemann, R.-C.
-
Devillers, Raymond;
Klaudel, Hanna;
Riemann, Robert-C.:
General parameterised refinement and recursion for the M-net calculus.
2003.
-
Benzaken, V.;
Hugon, N.;
Klaudel, H.;
Pelz, E.;
Riemann, R.-C.:
M-net Calculus Based Semantics for Triggers.
1998.
-
Devillers, Raymond;
Klaudel, Hanna;
Riemann, Robert-Christoph:
General refinement for high level Petri nets.
1997.
-
Melzer, S.;
Riemann, R.-C.:
Construction of Traps for Refined Petri Boxes.
1997.
-
Devillers, Raymond;
Klaudel, Hanna;
Riemann, Robert-Christoph:
Parameterised General Refinement in the M-net Calculus.
1997.
-
Klaudel, Hanna;
Riemann, Robert-Christoph:
High Level Expressions with their SOS Semantics.
1997.
-
Klaudel, Hanna;
Riemann, Robert-Christoph:
Consistent Equivalence Notion for a Class of High Level Petri Nets.
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