Structure and behavior preservation by Petri-net-based refinements in system design

DOI10.1016/J.TCS.2004.07.016zbMath1071.68076OpenAlexW2000106464MaRDI QIDQ703482

Wai Ming Mak, Hejiao Huang, To-yat Cheung

Publication date: 11 January 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.07.016

zbMATH Keywords

Petri netDesignRefinementSpecificationVerificationPreservation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Property-preserving subnet reductions for designing manufacturing systems with shared resources ⋮ Refining and verifying regular Petri nets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A method for stepwise refinement and abstraction of Petri nets
• Analysis of Petri nets by stepwise refinements
• Reduction and synthesis of live and bounded free choice Petri nets
• Reduction and expansion of live and safe marked graphs
• A review of synthesis techniques for Petri nets with applications to automated manufacturing systems
• Free Choice Petri Nets

This page was built for publication: Structure and behavior preservation by Petri-net-based refinements in system design