The Petri Net Kernel: An infrastructure for building Petri net tools

被引：8
作者：
Kindler E. [1 ,2 ]
Weber M. [2 ]
机构：
[1] Institut für Informatik, Humboldt-Universität zu Berlin
来源：
International Journal on Software Tools for Technology Transfer | 2001年 / 3卷 / 4期
关键词：
Generic tools; Petri net; Petri net API; Petri net types; Tool development;
D O I：
10.1007/s100090100055
中图分类号：
学科分类号：
摘要：
The Petri Net Kernel is an infrastructure for building Petri net tools. It relieves the programmer of a Petri net tool from implementing standard operations on Petri nets and a graphical user interface. In this paper, we discuss the motivation, the concepts, and the implementation of the Petri Net Kernel. ©Springer-Verlag 2001.
引用
收藏
页码：486 / 497
页数：11
相关论文
共 31 条
[1]  
Model Checking For DAWN, (2000)
[2]  
Baar T., Kindler E., ILF and DAWN for verifying distributed algorithms - an idea for a tool, Fundam Inf, 37, 3, pp. 201-211, (1999)
[3]  
Baar T., Kindler E., Volzer H., Hagen V., Verifying intuition - ILF checks DAWN proofs, Application and Theory of Petri Nets 1999, pp. 404-423, (1999)
[4]  
Baumgarten B., Petri-Netze: Grundlagen und Anwendungen, (1996)
[5]  
Bause F., Buchholz P., Kemper P., A Toolbox For Functional and Quantitative Analysis of DEDS, (1998)
[6]  
Bause F., Kemper P., Kritzinger P., Abstract Petri net notation, Petri Net Newsl, 49, pp. 9-27, (1995)
[7]  
Chouikha A., Fay A., Schnieder E., Konzept eines Frameworks für Petrinetz-Editoren, 5. Workshop Algorithmen Und Werkzeuge Für Petrinetze, No. 694 In Research Reports, pp. 32-37, (1998)
[8]  
(2000)
[9]  
Ermel C., Weber M., Implementation of parameterized net classes with the Petri Net Kernel, Unifying Petri Nets, Advances In Petri Nets, (2001)
[10]  
Erwin T., Anbindung Von Vipsim An Den Petrinetz-Kern, (1998)
1234