Advertisement

Petri net tool overview 1992

  • Frits Feldbrugge
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 674)

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.

Keywords

Petri Nets net theory tools computer aided design simulation system specification system analysis performance analysis system validation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.Google Scholar
  2. Beldiceanu, N.; Souissy, Y.: “Deterministic systems of sequential processes: theory and tools.” Proc. Int. Conf. on Supercomputers; Hamburg, Germany; October 1988.Google Scholar
  3. 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.Google Scholar
  4. 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.Google Scholar
  5. 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.Google Scholar
  6. Bréant, F.: “Tapioca: OCCAM rapid prototyping from Petri Nets.” Proc. Vth Jerusalem Conf. on Information Technology; Jerusalem, Israel; Oct. 1990.Google Scholar
  7. 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.Google Scholar

References

  1. “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.Google Scholar
  2. Josko, B.:“Model checking of CTL formulae under liveness assumptions.” Proc. ICALP 87; Springer Lecture Notes in Computer Science 267; 1987; pp. 280–289.Google Scholar

References

  1. 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.Google Scholar
  2. 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.Google Scholar
  3. 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.Google Scholar
  4. 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.Google Scholar
  5. 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.Google Scholar

References

  1. Detailed description of TEBE: Marcon, G.: “TEBE, tools for Exhibited-Behaviour Equivalence.” Master thesis in Information Sciences; Univ. degli Studi di Milano; 1986.Google Scholar
  2. 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.Google Scholar
  3. 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.Google Scholar
  4. 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.Google Scholar
  5. 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).Google Scholar

References

  1. A list of publications can be obtained from the contact person.Google Scholar

References

  1. 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.Google Scholar
  2. 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).Google Scholar
  3. 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.Google Scholar
  4. Suraj, Z.: “GRAPH: A graphical system for Petri Net design and simulation.” Petri Net Newsletter no. 35; 1990.Google Scholar
  5. 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.Google Scholar

References

  1. A list of publications concerning GRASPIN can be obtained from the contact person.Google Scholar

References

  1. Application reports (in German) and list of selected installations available on request.Google Scholar

References

  1. 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.Google Scholar
  2. Choppy, C.: “ASSPEGIQUE User's Manual.” LRI Research Report no. 452; Orsay; 1988.Google Scholar
  3. 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.Google Scholar
  4. 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.Google Scholar

References

  1. Gregor, M.: “Modelling of FMS by using of Petri Nets.” Dissertation, University of Communications; Zilina; 1989.Google Scholar
  2. Gregor, M.; Kosturiak, J.: “Using of Petri Nets in the modelling of FMS.” Automatizace, 32, 1989, c.3, pp 81–84 (in Czechoslovakian).Google Scholar
  3. Gregor, M.; Kosturiak, J.: “Enumerative analysis of Petri Net qualitative properties.” Automatizace, 32, 1989, c.6 (in Czechoslovakian).Google Scholar

References

  1. 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.Google Scholar
  2. 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.Google Scholar
  3. A description of PNTBLSIM is given in: Lew, A.: “PNTBLSIM: a tool for the simulation of High-Level Petri Nets.” (publication forthcoming)Google Scholar

References

  1. Ochsenschläger, P.: “Projektnetze und reduzierte Erreichbarkeitsgraphen.” Arbeitspapiere der GMD, No. 349; St. Augustin; 1988.Google Scholar
  2. Burkhardt, H.J.; Ochsenschläger, P.; Prinoth, R.: “PRODUCT NETS — a formal description technique for cooperating systems.” GMD-Studie, No. 165; St. Augustin; 1989.Google Scholar
  3. Ochsenschläger, P.: “Modulhomomorphismen.” Arbeitspapiere der GMD; St. Augustin; 1990.Google Scholar

References

  1. Unico Computer Systems: “PROMPT System User Manual.” Unico Computer Systems and Telecom Australia; Sept. 1991.Google Scholar
  2. Unico Computer Systems: “PROMPT System Reference Manual.” Unico Computer Systems and Telecom Australia; Sept. 1991.Google Scholar
  3. 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.Google Scholar
  4. 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.Google Scholar
  5. Illing, G.C.: “Automatic Petri Net based protocol implementation.” IREECON International; Melbourne, Australia; Sept. 1989; pp 358–361.Google Scholar
  6. 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.Google Scholar

References

  1. 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.Google Scholar
  2. 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.Google Scholar
  3. 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.Google Scholar

References

  1. 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.Google Scholar
  2. 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.Google Scholar
  3. 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.Google Scholar
  4. 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.Google Scholar
  5. Esser, R.; Bütler, B.: “SPECS: a programming environment for parallel computing.” SI-PAR, Parallel Systems in Switzerland; Lausanne; Oct. 1, 1991.Google Scholar

References

  1. 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.Google Scholar
  2. 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.Google Scholar
  3. Holzmann, G.J.: “An improved protocol reachability analysis technique.” Software Practice and Experience; Vol. 18, No. 2; Febr. 1988; pp 137–161.Google Scholar
  4. Billington, J.: “Many-sorted High Level Nets.” Proc. 3rd Int. Workshop on Petri Nets and Performance Models; Kyoto, Dec. 1989 (IEEE CS Press).Google Scholar
  5. 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.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Frits Feldbrugge
    • 1
  1. 1.GD ApeldoornThe Netherlands

Personalised recommendations