Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée

DOI10.1051/ro:2004013zbMath1121.93349OpenAlexW2132939619MaRDI QIDQ5479839

Christophe Haro, Christian Proust, Patrick Martineau

Publication date: 11 July 2006

Published in: RAIRO - Operations Research (Search for Journal in Brave)

Full work available at URL: http://www.numdam.org/item?id=RO_2004__38_1_39_0

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) System structure simplification (93B11) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Analysis of Petri nets by stepwise refinements
• Hierarchical reduction method for analysis and decomposition of Petri nets
• Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems
• Petri net synthesis and analysis of a flexible manufacturing system cell
• Free Choice Petri Nets
• Generalized Petri Net Reduction Method