Structure and behavior preservation by Petri-net-based refinements in system design
DOI10.1016/J.TCS.2004.07.016zbMATH Open1071.68076OpenAlexW2000106464MaRDI QIDQ703482FDOQ703482
Authors: H.-J. Huang, To-yat Cheung, Wai Ming Mak 
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
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Free Choice Petri Nets
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Reduction and expansion of live and safe marked graphs
- A review of synthesis techniques for Petri nets with applications to automated manufacturing systems
- Title not available (Why is that?)
Cited In (14)
- Petri nets modeling and analysis method based on the refinement operation
- A Petri-net approach to refining object behavioural specifications
- Title not available (Why is that?)
- Refinement of synchronizable places with multi-workflow nets
- Refining and verifying regular Petri nets
- Petri net refinement and its application in system design
- Property-preserving subnet reductions for designing manufacturing systems with shared resources
- Rule-based refinement of Petri nets: A survey
- Refinement of synchronizable places with multi-workflow nets. Weak termination preserved!
- Preserving properties in system redesign: rule-based approach.
- A mathematical model for system design and refinement
- Title not available (Why is that?)
- Methods for behavior descriptions of structure-complex Petri nets
- Rule-based refinement of high-level nets preserving safety properties
This page was built for publication: Structure and behavior preservation by Petri-net-based refinements in system design
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q703482)
