The petri net kernel

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2472, Issue , 2003, Pages 109-124

  Weber, Michael ^a   Kindler, Ekkart ^b  

^a HUMBOLDT UNIVERSITY   (Germany)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0348155845     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-40022-6_6     Document Type: Article

References (17)

1. APNN-Toolbox. http://ls4-www.cs.uni-dortmund.de/APNN-TOLBOX/.2002/03/18. 112
2. Falko Bause, Peter Kemper, and Pieter Kritzinger.Abs tract Petri net notation. Petri Net Newsletter, 49:9-27, October 1995. 112
3. CPN-AMI. http://www-src.lip6.fr/logiciels/mars/CPNAMI/.2002/03/18. 112
4. Jörg Desel and G.Ju hás."What is a Petri net?"-Informal answers to the informed reader.In Unifying Petri Nets, volume 2128 of LNCS, Advances in Petri Nets, pages 1-25.S pringer, 2001. 112
5. Design/CPN. http://www.daimi.au.dk/designCPN/.2001/09/21. 109, 111
6. H.Eh rig, G. Juhás, J.P adberg, and G.R ozenberg, editors. Unifying Petri Nets, volume 2128 of LNCS, Advances in Petri Nets.S pringer, 2001. 111
7. Bernd Grahlmann and Eike Best.PEP-more than a Petri net tool.I n T. Margaria and B.S teffen, editors, Tools and Algorithms for the Construction and Analysis of Systems, TACAS, volume 1055 of LNCS, pages 397-401.S pringer-Verlag, March 1996. 111
8. Matthias Jüngel, Ekkart Kindler, and Michael Weber.Th e Petri net markup language.In Stephan Philippi, editor, 7. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 47-52, Universität Koblenz-Landau, Germany, June 2000. http://www.informatik.hu-berlin.de/top/pnml/. 120
9. Shmuel Katz and Orna Grumberg.V eriTech: Translating among specifications and verification tools.T echnical report, The Technion, Haifa, Israel, March 1999. 111
10. Ekkart Kindler and Jörg Desel.D er Traum von einem universellen Petrinetz-Werkzeug-Der Petrinetz-Kern.In J. Desel, A. Oberweis, and E. Kindler, editors, 3. Workshop Algorithmen und Werkzeuge für Petrinetze, number 341 in Forschungsberichte.Ins titut AIFB, Universität Karlsruhe, October 1996. 110
11. Ekkart Kindler and Michael Weber.T he Petri Net Kernel-An infrastructure for building Petri net tools. Software Tools for Technology Transfer (STTT), 3(4):486-497, 2001. 110
12. Arndt Lüder and Hans-Michael Hanisch.A signal extension for Petri nets and its use in controller design. Fundamenta Informaticae, 41(4):415-431, 2000. 114
13. Model-Checking Kit. http://wwwbrauer.in.tum.de/gruppen/theorie/KIT/. 2001/12/19. 111
14. Petri Net Kernel Team. Documentation of the Java Version of the PNK, August 2001. http://www.informatik.hu-berlin.de/top/pnk/dokujav.html. 110, 113, 117
15. Bernhard Steffen, Tiziana Margaria, and Volker Braun.T he electronic tool integration platform: concepts and design. International Journal on Software Tools for Technology Transfer (STTT), 1(1+2):9-30, 1997. http://www.eti-service. org/. 111
16. Herbert Weber, Hartmut Ehrig, and Wolfgang Reisig.Th e Petri Net Baukasten of the DFG-Forschergruppe Petri Net Technology.I n H. Ehrig, W. Reisig, G.R ozenberg, and H.W eber, editors, Petri Net Technology for Communication Based Systems, LNCS, Advances in Petri Nets.S pringer, 2002. In this volume. 110
17. MichaelWeber and Ekkart Kindler.Th e Petri Net Markup Language. In H. Ehrig, W.R eisig, G.R ozenberg, and H.W eber, editors, Petri Net Technology for Communication Based Systems, LNCS, Advances in Petri Nets.S pringer, 2002. In this volume. 111, 114