For the most recent entries see the
Petri Nets Newsletter.
Keyword: ²
-
Grahlmann, Bernd:
The PEP Tool.
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.
-
Grahlmann, B.;
Best, E.:
PEP - More than a Petri Net Tool.
1996.
-
Grahlmann, B.;
Moeller, M.;
Anhalt, U.:
A new Interface for the PEP tool - Parallel Finite Automata.
1995.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography