Methods for behavior descriptions of structure-complex Petri nets

DOI10.1007/S11768-004-0031-9MaRDI QIDQ4915283zbMATH OpenOpenAlexFDO

Authors Qingtian Zeng, Zhehui Wu

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

\(S\)-netbehavior descriptiondecompositionindex of placesPetri netPetri net languagesynchronous intersection of languages

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2112418
• Structure theory of Petri nets
• scientific article; zbMATH DE number 4049068
• Structural properties of petri nets
• A Petri-net approach to refining object behavioural specifications
• scientific article; zbMATH DE number 1755145
• Structural analysis of Petri nets
• scientific article; zbMATH DE number 1614643
• Structure and behavior preservation by Petri-net-based refinements in system design

Cites work

• A method for stepwise refinement and abstraction of Petri nets
• Concurrent regular expressions and their relationship to Petri nets
• Generalized Petri Net Reduction Method
• scientific article; zbMATH DE number 4024805 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 3628412 (Why is no real title available?)
• scientific article; zbMATH DE number 2112418 (Why is no real title available?)

Cited in

(3)

• On dynamic description logic actions relationships with Petri nets
• scientific article; zbMATH DE number 2112418 (Why is no real title available?)
• Generalized Petri Net Reduction Method

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

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