Abstract
This paper provides an overview of the characteristics of all net based tools which are known to be currently available. It is a compilation of information provided by tool authors or contact persons.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Bernard, J-M.; Mounier, J-L.; Beldiceanu, N.; Haddad, S.: “AMI: an extensible Petri Net interactive workshop.” Proc. 9th European Workshop on Application and Theory of Petri Nets; Venice, Italy; June 1988; pp 101–117.
Beldiceanu, N.; Souissy, Y.: “Deterministic systems of sequential processes: theory and tools.” Proc. Int. Conf. on Supercomputers; Hamburg, Germany; October 1988.
Bernard, J-M.; Mounier, J-L.: “L'atelier logiciel AMI: un environnement multi-utilisateurs, multi-sessions pour une architecture distribuée.” Séminaire franco-Brésilien sur les systèmes informatiques répartis; Florianopolis, Brésil; Sept. 1989; pp 200–206.
Kordon, F.; Estraillier, P.; Card, R.: “Rapid ADA prototyping: principles and examples of a complex application.” Proc. Int. Phoenix Conf. on Computer and Communications; April 1990.
Chiola, G.; Dutheillet, C.; Franceschinis, G.; Haddad, S.: “On Well-Formed Coloured Nets and their symbolic reachability graph.” Proc. 11th Int. Conf. on Application and Theory of Petri Nets; Paris, France; June 1990; pp 387–410.
Bréant, F.: “Tapioca: OCCAM rapid prototyping from Petri Nets.” Proc. Vth Jerusalem Conf. on Information Technology; Jerusalem, Israel; Oct. 1990.
Bernard, J-M.; Mounier, J-L.: “Conception et Mise en Oeuvre d'un environnement système pour la modélisation, l'analyse et la réalisation de systèmes informatiques.” Thesis; Paris VI; 1991.
References
“AADL: a net based specification method for computer architecture design.” In: Bakker, J. de (ed.): “Languages for parallel architectures: design, semantics and implementation models.” John Wiley and Sons (UK); to appear in 1989.
Josko, B.:“Model checking of CTL formulae under liveness assumptions.” Proc. ICALP 87; Springer Lecture Notes in Computer Science 267; 1987; pp. 280–289.
References
Kaltwasser, J.; Friedrich, G.-R.; Leipner, P.; Müller, B.; Vieweg, Th.: “Dialog-orientiertes graphisches Petri-Netz-Entwicklungssystem (DIOGENES).” Akademie der Wissenschaften der DDR; ZKI-Informationen 4/87; Berlin; Dec. 1987.
Müller, B.; Friedrich, G.-R.: “Using Petri Nets in a test environment for FMS control software.” Proc. 7th Bilateral Workshop “Information in Manufacturing Automation” GDR-Italy with international participation; Berlin; Oct. 10–Nov. 4, 1989; pp 187–200.
Müller, B.: “Beschreibung, Modellierung und Simulation kooperierender Systeme mit höheren Petri-Netzen am Beispiel der Steuerung flexibeler Fertigungssysteme.” Diss. A; Akademie der Wissenschaften; ZKI; Berlin; 1990.
Müller, B.; Friedrich, G.-R.: “Die Bearbeitung höherer zeitbewerteter Petri-Netze mit DIOGENES.” Material Summer School “Petri Netze: Systementwurf und Werkzeuge”; Univ. Hildesheim; Aug. 6–10, 1990.
Kaltwasser, J.; Müller, B.; Friedrich, G.-R.; Fischer, H.; Bolemant, M.; Sadowski, H.: “Entwicklung und Anwendung eines Simulationsmodells für die Ermittlung der Leistungs-fähigkeit und der Belegung des Fahrwegs.” Study report of the project “Fahrwegnutzungsstrategie” (Strategy for railway utilisation) of the German Reichsbahn; Berlin; May 1991.
References
Detailed description of TEBE: Marcon, G.: “TEBE, tools for Exhibited-Behaviour Equivalence.” Master thesis in Information Sciences; Univ. degli Studi di Milano; 1986.
Definition of Exhibited-Behaviour Equivalence: Pomello, L.: “Equivalence notion for concurrent systems.” in: Rozenberg, G. (ed.): “Advances in Petri Nets 1985.” Springer; Lecture Notes in Computer Science 222; 1986.
First definition of the reduction rules: De Cindio, F.; De Michelis, G.; Pomello, L.; Simone, C.: “Exhibited-Behaviour Equivalence and organizational abstraction in concurrent system design.” Proc. 5th IEEE Conference on Distributed Computing Systems; Denver, CO, USA; 1985.
Definition of State Transformation Equivalence (1): Pomello, L.; Simone, C.: “A State Transformation Preorder over a class of EN Systems.” in: Rozenberg, G. (ed.): “Advances in Petri Nets 1990.” Springer; Lecture Notes in Computer Science 483; 1991.
Definition of State Transformation Equivalence (2): Pomello, L.; Simone, C.: “An algebraic characterization of EN System (Observable) State Space.” To appear in Formal Aspects of Computing (1992).
References
A list of publications can be obtained from the contact person.
References
Gasior, T.; Suraj, Z.: “A system for automatic drawing Petri Nets — AGRAPH.” Report of Researches in Departmental Problem RP I.09; Ped. University; Rzeszów; 1989.
Skudlarski, K.: “A software package for the analysis of Generalized Stochastic Petri Net models — GSPN.” (in Polish). INFORMATYKA No. 5; 1991; p.3 (in Polish).
Starke, P.H.: “Petri-Netz-Maschine; a software tool for analysis and validation of Petri Nets.” Proc. of the 2nd Int. Symp. on Systems Analysis and Simulation; Berlin, 1985.Oxford, Pergamon; pp. 474–475; 1985.
Suraj, Z.: “GRAPH: A graphical system for Petri Net design and simulation.” Petri Net Newsletter no. 35; 1990.
Suraj, Z.; Chrobak, R.; Stefaniak, R.: “A system for modification of concurrent programs-DEADLOCK.” (in Polish). Zeszyty Naukowe Politechniki Rzeszowskiej Nr. 72; Seria: Elektrotechnika, z.9; Rzeszów; 1990.
References
A list of publications concerning GRASPIN can be obtained from the contact person.
References
Application reports (in German) and list of selected installations available on request.
References
Berthelot, G.; Johnen, C.; Petrucci, L.: “PAPETRI: Environment for the analysis of Petri Nets.” Proc. 2nd Computer-Aided Verification Workshop; New Brunswick, USA. ACM/AMS DIMACS series, Volume 3; 1991.
Choppy, C.: “ASSPEGIQUE User's Manual.” LRI Research Report no. 452; Orsay; 1988.
Choppy, C.; Johnen, C.: “PETRIREVE: Petri Net transformation and proofs with rewriting systems.” Proc. 6th European Workshop on Application and Theory of Petri Nets; Helsinki, Finland; 1985.
Forgaard, R.; Guttag, J.V.: “REVE: a term rewriting system generator with failure resistant Knuth-Bendix.” Proc. of an NSF Workshop on the rewrite rule laboratory; 1983.
References
Gregor, M.: “Modelling of FMS by using of Petri Nets.” Dissertation, University of Communications; Zilina; 1989.
Gregor, M.; Kosturiak, J.: “Using of Petri Nets in the modelling of FMS.” Automatizace, 32, 1989, c.3, pp 81–84 (in Czechoslovakian).
Gregor, M.; Kosturiak, J.: “Enumerative analysis of Petri Net qualitative properties.” Automatizace, 32, 1989, c.6 (in Czechoslovakian).
References
Using decision tables as a data structure for representing Petri Nets was first reported in: Lew, A.: “Petri Net processing using decision tables.” Univ. of Hawaii, technical report; 1985.
A general-purpose simulator for both continuous and discrete systems, which uses a decision table processor, is described in:Lew, A.: “DTSIM: a decision table simulation language.” Univ. of Hawaii, technical report; 1987.
A description of PNTBLSIM is given in: Lew, A.: “PNTBLSIM: a tool for the simulation of High-Level Petri Nets.” (publication forthcoming)
References
Ochsenschläger, P.: “Projektnetze und reduzierte Erreichbarkeitsgraphen.” Arbeitspapiere der GMD, No. 349; St. Augustin; 1988.
Burkhardt, H.J.; Ochsenschläger, P.; Prinoth, R.: “PRODUCT NETS — a formal description technique for cooperating systems.” GMD-Studie, No. 165; St. Augustin; 1989.
Ochsenschläger, P.: “Modulhomomorphismen.” Arbeitspapiere der GMD; St. Augustin; 1990.
References
Unico Computer Systems: “PROMPT System User Manual.” Unico Computer Systems and Telecom Australia; Sept. 1991.
Unico Computer Systems: “PROMPT System Reference Manual.” Unico Computer Systems and Telecom Australia; Sept. 1991.
Billington, J.; Wheeler, G.; Wilbur-Ham, M.: “PROTEAN: A High Level Petri Net tool for the specification and verification of communication protocols.” IEEE Transactions on Software Engineering; Vol. 14, No. 3; March 1988; pp 301–316.
Billington, J.; Kinny, D.: “Computer Aided Protocol Engineering.” Proc. I.E. Aust. Conf. on New Business Applications of Information Technology; Melbourne, Australia; April 1989; pp 69–73.
Illing, G.C.: “Automatic Petri Net based protocol implementation.” IREECON International; Melbourne, Australia; Sept. 1989; pp 358–361.
Parker, K.R.: The PROMPT automatic implementation tool — Initial impressions.” Proc. 3rd Int. Conf. on Formal Description Techniques (FORTE '90); Madrid, Spain; Nov. 1990; pp 701–707.
References
NET User's Manual and other internal reports available upon request. Published application reports in English are: Itter, F.; Relewicz, C.: “Computer supported design of Kanban controlled production — integrated systems analysis and simulation with higher order Petri Nets.” in: Rozenberg, G. (ed.): “Advances in Petri Nets 1990.” Lecture Notes in Computer Science; Springer Verlag.
Itter, F.; Lang, M.: “Simulation of a chemical production system using Petri Nets.” in: Eckermann, R. (ed.): “European Symposium on Computer Application in the Chemical Industry.” Erlangen, Germany; Dechema; Vol. 116; 1989.
A description of the analysis features is found in: Starke, P.H.: “Validation of Petri Net models by Petri-Net-Machine.” in: Proc. of the 5th IFAC/IFIP/IMACS/IFORS Conf.; Oxford, England; April 1986.
References
Bütler, B.; Esser, R.; Mattmann, R.: “A distributed simulator for High Order Petri Nets.” Proc. 10th Int. Conf. on Application and Theory of Petri Nets; Bonn; 1989.
Oswald, H.; Esser, R.; Mattmann, R.: “An environment for specifying and executing Hierarchical Petri Nets.” Proc. IEEE 12th Int. Conf. on Software Engineering; Nice; 1990.
Bütler, B.; Esser, R.; Mattmann, R.: “A distributed simulator for High Order Petri Nets.” in: Rozenberg, G. (ed.): “Advances in Petri Nets 1990.” Lecture Notes in Computer Science; Springer Verlag.
Ebert, C.; Oswald, H.: “Complexity measures for the analysis of specifications and designs of (reliability related) computer systems.” SAFECOMP '91; Trondheim; Oct. 30–Nov. 1, 1991.
Esser, R.; Bütler, B.: “SPECS: a programming environment for parallel computing.” SI-PAR, Parallel Systems in Switzerland; Lausanne; Oct. 1, 1991.
References
Wheeler, G.; Valmari, A.; Billington, J.: “Baby TORAS eats philosophers but thinks about solitaire.” Proc. 5th Australian Software Engineering Conference; Sydney, 1990; pp 283–288.
Valmari, A.: “Stubborn Sets for reduced state space generation.” Proc. 10th Int. Conf. on Application and Theory of Petri Nets; Bonn, 1989; pp II/1-22.
Holzmann, G.J.: “An improved protocol reachability analysis technique.” Software Practice and Experience; Vol. 18, No. 2; Febr. 1988; pp 137–161.
Billington, J.: “Many-sorted High Level Nets.” Proc. 3rd Int. Workshop on Petri Nets and Performance Models; Kyoto, Dec. 1989 (IEEE CS Press).
Billington, J.; Wheeler, G.; Wilbur-Ham, M.: “PROTEAN: A High Level Petri Net tool for the specification and verification of communication protocols.” IEEE Transactions on Software Engineering; Vol. 14, No. 3; March 1988; pp 301–316.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Feldbrugge, F. (1993). Petri net tool overview 1992. In: Rozenberg, G. (eds) Advances in Petri Nets 1993. ICATPN 1991. Lecture Notes in Computer Science, vol 674. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56689-9_44
Download citation
DOI: https://doi.org/10.1007/3-540-56689-9_44
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56689-2
Online ISBN: 978-3-540-47631-3
eBook Packages: Springer Book Archive