For the most recent entries see the
Petri Nets Newsletter.
Keyword: m-nets
-
Klaudel, Hanna:
Compositional high-level Petri net semantics of a parallel programming language with procedures.
2001.
-
Grahlmann, Bernd:
Parallel Programs as Petri Nets.
2001.
-
Klaudel, H.;
Pommereau, F.:
A concurrent and compositional Petri net semantics of preemption.
2000.
-
Best, E.;
Fraczak, W.;
Hopkins, R.P.;
Klaudel, H.;
Pelz, E.:
M-nets: an algebra of high-level Petri nets with an applications to the semantics of concurrent programming languages.
1998.
-
Grahlmann, Bernd:
Combining Finite Automata, Parallel Programs and SDL Using Petri Nets.
1998.
-
Devillers, Raymond;
Klaudel, Hanna;
Riemann, Robert-Christoph:
General refinement for high level Petri nets.
1997.
-
Grahlmann, Bernd:
The PEP Tool.
1997.
-
Fleischhack, Hans;
Grahlmann, Bernd:
A Petri Net Semantics for B(PN)² with Procedures.
1997.
-
Fleischhack, H.;
Grahlmann, B.:
A Petri Net Semantics for B(PN)² with Procedures which Allows Verification.
1996.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography