PEP - More than a Petri Net Tool

@inproceedings{Grahlmann1996PEPM,
  title={PEP - More than a Petri Net Tool},
  author={Bernd Grahlmann and Eike Best},
  booktitle={TACAS},
  year={1996}
}
More than a Petri Net Tool Bernd Grahlmann and Eike Best ABSTRACT The PEP system (Programming Environment based on Petri Nets) supports the most important tasks of a good net tool, including HL and LL net editing and comfortable simulation facilities. In addition, these features are embedded in sophisticated programming and veri cation components. The programming component allows the user to design concurrent algorithms in an easy-to-use imperative language, and the PEP system then generates… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 16 references

PEP: Documentation and User Guide. Uni- versitat Hildesheim. ftp.informatik.uni-hildesheim.de /pub/Projekte/PEP/.

E. Best, B. Grahlmann
http://www.informatik.uni-hildesheim.de/~pep/HomePage.html • 1995
View 3 Excerpts
Highly Influenced

W

E. Best, H. Fleischhack
Fr aczak, R. P. Hopkins, H. Klaudel, and E. Pelz. A Class of Composable High Level Petri Nets. Proc. of ATPN'95, Torino, LNCS Vol. 935, 103{118. Springer • 1995
View 3 Excerpts
Highly Influenced

S

J. Esparza
Romer, and W. Vogler. An Improvement of McMillan's Unfolding Algorithm. Proc. of TACAS'96 • 1996
View 1 Excerpt

A New Interface for the PEP Tool { Parallel Finite Automata

B. Grahlmann, M. Moeller, U. Anhalt
Proc. of 2. Workshop Algorithmen und Werkzeuge f ur Petrinetze, AIS 22, 21{26. FB Informatik Universitat Oldenburg • 1995
View 1 Excerpt

A Re ned View of the Box Calculus

E. Best, M. Koutny
Proc. of ATPN'95, Torino, LNCS Vol. 935, 103{118. Springer • 1995
View 2 Excerpts

An Improvement of McMillan ' s UnfoldingAlgorithm

S. R omer J. Esparza
1995

Ein Modelchecker f ur eine Linear-Time-Logik

B. Graves
Diplomarbeit, Uni- versitat Hildesheim • 1995
View 3 Excerpts

PEP: Programming Environment Based on Petri Nets

E. Best, H. Fleischhack, editors
Hildesheimer Informatik-Berichte • 1995

Petri Net Modelling

W. Ruckdeschel, R. Onken
Analysis and Realtime- Simulation of Pilot Behaviour. Proc. of ATPN'95 • 1995

Verifying Telecommunication Protocols with PEP

B. Grahlmann
Proc. of RE- LECTRONIC'95, Budapest, 251{256 • 1995

Similar Papers

Loading similar papers…