Abstract
The aim of this paper is to show how the iterative methods for the analysis of discrete systems presented in [1][2][3] can be applied to Petri nets and their extensions. The results given in this paper have been obtained by direct application of those exposed in the references.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J. Sifakis: “Le contrôle des systèmes asynchrones: concepts, propriétés, analyse statique”. Thèse d’Etat, Université de Grenoble, June 1979.
J. Sifakis: “A unified approach for studying the properties of transition systems”. Research report RR 179, IMAG, December 1979, Grenoble.
J. Sifakis: “Deadlocks and livelocks in transition systems”. Lecture Notes in Comp. Sei., Vol.88, Springer Verlag, Sept. 1980, pp. 587–600.
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
Queille, J.P., Sifakis, J. (1982). Interactive Methods for the Analysis of Petri Nets. 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_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-68353-4_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11189-4
Online ISBN: 978-3-642-68353-4
eBook Packages: Springer Book Archive