Petri nets modeling and analysis method based on the refinement operation

MaRDI QIDQ3513940zbMATH OpenFDO

Authors Zhijun Ding, Changjun Jiang

Publication date 6 August 2008

zbMATH Keywords

complex systemPetri nets

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Large-scale systems (93A15) System structure simplification (93B11) Discrete event control/observation systems (93C65)

Recommendations

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

Cited in

(5)

• Composition colored Petri nets for the refinement of reaction-based models
• A mathematical model for system design and refinement
• 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

This page was built for publication: Petri nets modeling and analysis method based on the refinement operation

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