For the most recent entries see the
Petri Nets Newsletter
.
Keyword: tool
Grahlmann, Bernd
:
The PEP Tool.
1997.
Grahlmann, Bernd
:
The PEP Tool.
1997.
Grahlmann, Bernd
:
The Reference Component of PEP.
1997.
Grahlmann, B.
;
Best, E.
:
PEP - More than a Petri Net Tool.
1996.
Grahlmann, B.
:
Verifying Telecommunication Protocols with PEP.
1995.
Grahlmann, B.
:
PEP: A Programming Environment based on Petri Nets.
1995.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography