Abstract
In a previous paper [Andr80] we introduced the notion of the behaviour of a place-transition net on a subset of transitions. The behaviour-equivalence (B-equivalence) was defined and properties preserved by this equivalence were exhibited.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andre, C; Armand, P; Boeri, F: Synchronic relations and applications in parallel computation. Digital Processes, Vol 5, 1979, pp 99–113.
Andre, C: Behaviour of a place-transition net on a subset of transitions. First European Worktop on the Application and Theory of Petri nets. Strasbourg, 23–26 Septembre 1980.
Andre;C; Systèmes à evolutions parallèles: modélisation par réseaux de Petri à capacité, analyse par abstraction. Thèse d’Etat, Nice, 13 Février 1981.
Boeri; F; Aldorf,C; Andre, C, Auguin,M; Tafazzoli, M.E: Méthode de description et de réalisation de systèmes de commande parallèles. Rapport scientifique final des travaux effectués dans le cadre de l’A.T. Automatique et Robotique. Décision 3276 - Nice - Février 80.
Berthel0t;G; Terrat,R: Modélisation d’un protocole de transport par réseaux de Petri. 5 summer school “Programming 80”. Primorsko, Bulgarie, Juin 80.
Hack,M: Petri net languages Mit TR-159, March 76.
Net theory and Applications Proceeding of the advanced course on general Net theory of processes and systems. Hambourg, 1979. Springer - Verlag, Lecture Notes in Computer Science n84.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Andre, C. (1982). Use of the Behaviour Equivalence in Place-Transition Net Analysis. In: Girault, C., Reisig, W. (eds) Application and Theory of Petri Nets. Informatik-Fachberichte, vol 52. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68353-4_41
Download citation
DOI: https://doi.org/10.1007/978-3-642-68353-4_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11189-4
Online ISBN: 978-3-642-68353-4
eBook Packages: Springer Book Archive