Generalized Petri Net Reduction Method

DOI10.1109/TSMC.1987.4309041zbMath0653.68045OpenAlexW2089255804MaRDI QIDQ5903736

Hyung Lee-Kwang, Pierre Baptiste, Joël Favrel

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

reductiongeneralized Petri netsreducible subnet

Mathematics Subject Classification ID

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

Related Items

Design and implementation of a Petri net based supervisor for a flexible manufacturing system ⋮ Methods for behavior descriptions of structure-complex Petri nets ⋮ Property-preserving subnet reductions for designing manufacturing systems with shared resources ⋮ Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée

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