Methods for behavior descriptions of structure-complex Petri nets

DOI10.1007/s11768-004-0031-9zbMath1260.68280OpenAlexW2070524580MaRDI QIDQ4915283

Zhehui Wu, Qingtian Zeng

Publication date: 10 April 2013

Published in: Journal of Control Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11768-004-0031-9

zbMATH Keywords

decompositionPetri netPetri net language\(S\)-netbehavior descriptionindex of placessynchronous intersection of languages

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A method for stepwise refinement and abstraction of Petri nets
• Concurrent regular expressions and their relationship to Petri nets
• Generalized Petri Net Reduction Method

This page was built for publication: Methods for behavior descriptions of structure-complex Petri nets