Abstract
In this paper, we present an analysis of an interesting class of Petri nets : Deterministic systems of sequential processes. We give an extension of this class and new theoretical results. We show how these theorems have been implemented by rules in an expert system for Petri nets analysis.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
G.W. BRAMS: "Réseaux de Petri: théorie et pratique", Tome 1 et 2, Masson, 1983.
N.H.BELDICEANU, "Un langage de règles de production basé sur des contraintes et des actions", 7ième Journées Internationales, les systèmes experts & leurs applications p.1139–1158, Avignon-May 1987.
N.H.BELDICEANU, "Langage de règles et moteur d'inférences basés sur des contraintes et des actions. Application aux réseaux de Petri", Thèse de l'Université de Paris 6, January 1988.
J.M.BERNARD, J.L.MOUNIER, N.H.BELDICEANU, S.HADDAD, "AMI an extensible Petri net Interactive workshop", IX European Workshop on Application and Theory of Petri Nets, June 1988.
C.BERGE, "Graphes"3, édition Gauthier-Villars, Paris 1983.
G. BERTHELOT, "Transformations de réseau de Petri', in Technique et Sciences Informatiques, Vol. 4 no 1, 1985, p.91–101.
R. DECHTER, J. PEARL, "Network-based Heuristics for Constraint-Satisfaction Problems", in Artificial Intelligence, Vol.34, p.1–38, December 1987.
M. HACK: "Extended State-Machine Allocatable Nets (ESMA), an Extension of Free Choice Petri net results". Project MAC TR no 94, May 1973.
C.A. HOARE: "Communicating sequential processes". Communications of the ACM 21, no 8 pp 666,677 August 1978.
J.L. LAMBERT: "Consequences of the decidability of the reachability problem of Petri nets". Université Paris Sud. Rapport de recherche LRI 313 1986.
G. MEMMI: "Méthode d'analyse des reseaux de Petri, réseaux à files et application aux systèmes temps reels.". Thèse d'état Université Paris 6 Juin 1983.
J.L. PETERSON: "Petri net theorie and the modeling of systems" Prentice Hall 1981.
W. REISIG, G. MEMMI, G.BERTHELOT: "A control structure for sequential processes synchronized by buffers".Proc. of the 4th European Workshop on Application and Theorie of Petri Nets, Toulouse 1983.
Y. SOUISSI a: "Les systèmes déterministes de processus sèquentiels", MASI Report, February 1988.
Y. SOUISSI b: "Sur la vivacité des systèmes déterministes de processus séquentiels", Colloque Francophone sur l'Ingénièrie des Protocoles, Bordeaux September 88.
R. VALK, M. JANTZEN: "The residue of vectors sets with application to decidability problems in Petri nets". Acta Informatica 21: 643–674, 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Souissi, Y., Beldiceanu, N. (1988). Deterministic systems of sequential processes: Theory and tools. In: Vogt, F.H. (eds) CONCURRENCY 88. CONCURRENCY 1988. Lecture Notes in Computer Science, vol 335. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50403-6_52
Download citation
DOI: https://doi.org/10.1007/3-540-50403-6_52
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50403-0
Online ISBN: 978-3-540-45999-6
eBook Packages: Springer Book Archive