×

A new transformation of generalized Petri nets: generalized abstraction. (Une nouvelle transformation des réseaux de Petri généralisés: L’abstraction généralisée.) (French) Zbl 1121.93349

Summary: This paper introduces a new transformation of generalized Petri nets. This transformation is a reduction rule. We prove that it preserves the invariants and most important structural properties. A function that transforms the markings helps us to give some indications to prove the conservation of the behavioral properties.

MSC:

93C65 Discrete event control/observation systems
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
93B11 System structure simplification
PDFBibTeX XMLCite
Full Text: DOI Numdam EuDML

References:

[1] G. Berthelot , Transformations et analyse de réseaux de petri . Applications aux protocoles. Thèse de doctorat d’état és sciences, Université Pierre et Marie Curie, Paris VI ( 1983 ).
[2] G. Berthelot , Transformations de Réseaux de Petri . TSI 4 ( 1985 ) 91 - 101 . Zbl 0567.68032 · Zbl 0567.68032
[3] G.W. Brams , Réseaux de petri: Tome 1 - Théorie et analyse . Masson, Paris ( 1983 ). Zbl 0501.68027 · Zbl 0501.68027
[4] E. Daniel , P. Kuntz and B. El hajjaji, Détermination des cellules (place, transition) à abstraire dans un RdP généralisé et génération des matrices d’incidence du réseau résultant. Rapport de projet de fin d’études sous la direction de C. Haro, E3I-Université de Tours (1999).
[5] J. Desel and J. Esparza , Free Choice Petri Nets . Cambridge Tracts Theoret. Comput. Sci. 40 ( 1995 ). MR 1469221 | Zbl 0836.68074 · Zbl 0836.68074 · doi:10.1017/CBO9780511526558
[6] I. Koh and F. Dicesare , Modular Transformation Methods For Generalized Petri Nets and Their Application to Automated Manufacturing Systems . IEEE Trans. Systems, MAN Cybernetics 21 ( 1991 ) 1512 - 1522 . Zbl 0825.68471 · Zbl 0825.68471 · doi:10.1109/21.135693
[7] H. Lee-kwang and J. Favrel , Hierarchical Reduction Method For Analysis and Decomposition of Petri Nets . IEEE Trans. Systems, MAN Cybernetics 15 ( 1985 ) 272 - 280 . Zbl 0564.68047 · Zbl 0564.68047 · doi:10.1109/TSMC.1985.6313357
[8] H. Lee-kwang , J. Favrel and P. Baptiste , Generalized Petri Net Reduction Method . IEEE Trans. Systems, MAN Cybernetics 17 ( 1987 ) 297 - 303 . Zbl 0653.68045 · Zbl 0653.68045 · doi:10.1109/TSMC.1987.4309041
[9] J.Y. Morel , Contribution à la modélisation et à l’analyse des systèmes à événements discrets par réseaux de Petri généralisés et colorés . Thèse de troisième cycle, ISTIA - Université d’Angers, Angers ( 1996 ).
[10] Y. Narahari and N. Viswanadham , A Petri Net Approach to The Modelling and Analysis of Flexible Manufacturing Systems . Ann. Oper. Res. 3 ( 1985 ) 449 - 472 .
[11] I. Suzuki and T. Murata , Stepwise Refinements of Transitions and Places , in IFB 52, edited by C. Girault and W. Reisig. ( 1982 ) 136 - 141 .
[12] R. Valette , Analysis of Petri Nets by Stepwise Refinements . J. Comput. Syst. Sci. 18 ( 1979 ) 35 - 46 . MR 525828 | Zbl 0401.68038 · Zbl 0401.68038 · doi:10.1016/0022-0000(79)90050-3
[13] M. Zhou , F. Dicesare , A.A. Desrochers , A Top-Down Approach to Systematic Synthesis of Petri Net Models for Manufacturing Systems , in Conf. Robotics and Automation, Scottsdale - Arizona, May ( 1996 ).
[14] M. Zhou , K. Mcdermott and P.A. Patel , Petri Net Synthesis and Analysis of A Flexible Manufacturing System Cell . IEEE Trans. Systems, MAN Cybernetics 23 ( 1993 ) 523 - 531 . Zbl 0800.68599 · Zbl 0800.68599 · doi:10.1109/21.229464
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.