Advertisement

Deterministic systems of sequential processes: Theory and tools

  • Younes Souissi
  • Nicolas Beldiceanu
Selected Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 335)

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.

Keywords

Petri net deterministic systems of sequential processes liveness expert system 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G.W. BRAMS: "Réseaux de Petri: théorie et pratique", Tome 1 et 2, Masson, 1983.Google Scholar
  2. 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.Google Scholar
  3. 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.Google Scholar
  4. 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.Google Scholar
  5. C.BERGE, "Graphes"3, édition Gauthier-Villars, Paris 1983.Google Scholar
  6. G. BERTHELOT, "Transformations de réseau de Petri', in Technique et Sciences Informatiques, Vol. 4 no 1, 1985, p.91–101.Google Scholar
  7. R. DECHTER, J. PEARL, "Network-based Heuristics for Constraint-Satisfaction Problems", in Artificial Intelligence, Vol.34, p.1–38, December 1987.Google Scholar
  8. M. HACK: "Extended State-Machine Allocatable Nets (ESMA), an Extension of Free Choice Petri net results". Project MAC TR no 94, May 1973.Google Scholar
  9. C.A. HOARE: "Communicating sequential processes". Communications of the ACM 21, no 8 pp 666,677 August 1978.Google Scholar
  10. J.L. LAMBERT: "Consequences of the decidability of the reachability problem of Petri nets". Université Paris Sud. Rapport de recherche LRI 313 1986.Google Scholar
  11. 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.Google Scholar
  12. J.L. PETERSON: "Petri net theorie and the modeling of systems" Prentice Hall 1981.Google Scholar
  13. 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.Google Scholar
  14. Y. SOUISSI a: "Les systèmes déterministes de processus sèquentiels", MASI Report, February 1988.Google Scholar
  15. 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.Google Scholar
  16. R. VALK, M. JANTZEN: "The residue of vectors sets with application to decidability problems in Petri nets". Acta Informatica 21: 643–674, 1985.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Younes Souissi
    • 1
  • Nicolas Beldiceanu
    • 2
  1. 1.BULL Research LaboratoryLouveciennes
  2. 2.MASI LaboratoryPierre et Marie Curie UniversityParis Cedex 05

Personalised recommendations