Part of the Lecture Notes in Computer Science book series (LNCS, volume 424)
Petri net tool overview 1989
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.
KeywordsPetri Nets net theory tools computer aided design simulation system specification system analysis performance analysis
Unable to display preview. Download preview PDF.
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
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
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
© Springer-Verlag Berlin Heidelberg 1990