Analysis of Petri nets by stepwise refinements
From MaRDI portal
Publication:1255320
DOI10.1016/0022-0000(79)90050-3zbMath0401.68038OpenAlexW1980926994MaRDI QIDQ1255320
Publication date: 1979
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-0000(79)90050-3
Related Items
Property-preserving transformations of elementary net systems based on morphisms ⋮ Petri nets for the design and operation of manufacturing systems ⋮ Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets ⋮ A theory of implementation and refinement in timed Petri nets ⋮ Functional equivalences of Petri nets ⋮ Nested-unit Petri nets ⋮ Composition colored Petri nets for the refinement of reaction-based models ⋮ Design and implementation of a Petri net based supervisor for a flexible manufacturing system ⋮ Structure and behavior preservation by Petri-net-based refinements in system design ⋮ Property-preserving subnet reductions for designing manufacturing systems with shared resources ⋮ Inheritance of behavior ⋮ Petri net reactive modules ⋮ Refining and verifying regular Petri nets ⋮ A coordination theory for intelligent machines ⋮ Failures semantics based on interval semiwords is a congruence for refinement ⋮ Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée ⋮ Connectivity of workflow nets: The foundations of stepwise verification ⋮ A method for stepwise refinement and abstraction of Petri nets ⋮ Zero-safe nets: Comparing the collective and individual token approaches. ⋮ The box algebra = Petri nets + process expressions ⋮ A theory of bipolar synchronization scheme ⋮ Petri nets for modeling of dynamic systems -- a survey
Cites Work
This page was built for publication: Analysis of Petri nets by stepwise refinements
