Petri net tool overview 1989

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


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.


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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


Detailed description of TEBE

  1. Marcon, G.: "TEBE, tools for Exhibited-Behaviour Equivalence." Master thesis in Information Sciences; Univ. degli Studi di Milano; 1986.Google Scholar

Definition of Exhibited-Behaviour Equivalence

  1. 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

First definition of the reduction rules

  1. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Frits Feldbrugge
    • 1
  1. 1.Philips TDSApeldoornThe Netherlands

Personalised recommendations