Generalized Petri Net Reduction Method

DOI10.1109/TSMC.1987.4309041MaRDI QIDQ5903736zbMATH OpenOpenAlexFDO

Authors H. Lee-Kwang, Joël Favrel, Pierre Baptiste

Publication date 1987

Published in IEEE Transactions on Systems, Man, and Cybernetics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tsmc.1987.4309041

zbMATH Keywords

generalized Petri netsreducible subnetreduction

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Hierarchical reduction method for analysis and decomposition of Petri nets
• Reduction and synthesis of live and bounded free choice Petri nets
• Reducing the series-parallel structure of the normal generalized stochastic Petri nets
• Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée
• Reduction rules for time Petri nets

Cited in

(13)

• Design and implementation of a Petri net based supervisor for a flexible manufacturing system
• The application of EB-equivalence rules to the structural reduction of GSPN models
• Property-preserving subnet reductions for designing manufacturing systems with shared resources
• Reduction rules for time Petri nets
• Computer-based reduction technique for Petri nets
• Reducing the series-parallel structure of the normal generalized stochastic Petri nets
• Hierarchical reduction method for analysis and decomposition of Petri nets
• Methods for behavior descriptions of structure-complex Petri nets
• Tools and Algorithms for the Construction and Analysis of Systems
• Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée
• Automated Technology for Verification and Analysis
• Petri Net Reductions for Counting Markings
• A reduced maximality labeled transition system generation for recursive Petri nets

This page was built for publication: Generalized Petri Net Reduction Method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5903736)