scientific article; zbMATH DE number 4049068

MaRDI QIDQ3785958zbMATH OpenFDO

Authors Walter Vogler

Publication date 1987

zbMATH Keywords

daughter netsfiring sequenceshostmodulesPetri netsreachable makingsrefined net

Mathematics Subject Classification ID

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

Recommendations

• Refining and verifying regular Petri nets
• Petri net refinement and its application in system design
• Structure and behavior preservation by Petri-net-based refinements in system design
• Petri net reactive modules
• A mathematical model for system design and refinement

Cited in

(15)

• A theory of implementation and refinement in timed Petri nets
• Elementary transition systems and refinement
• Zero-safe nets: Comparing the collective and individual token approaches.
• Petri net reactive modules
• Local state refinement and composition of elementary net systems: an approach based on morphisms
• Refinement and asynchronous composition of modal Petri nets
• A mathematical model for system design and refinement
• Methods for behavior descriptions of structure-complex Petri nets
• Functional equivalences of Petri nets
• Asynchronous communication of Petri nets and the refinement of transitions
• Refining and verifying regular Petri nets
• Petri net refinement and its application in system design
• Modal Open Petri Nets
• A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
• Structure and behavior preservation by Petri-net-based refinements in system design

This page was built for publication:

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