Behavior relativity of Petri nets.

DOI10.1007/BF02960767MaRDI QIDQ1433955zbMATH OpenOpenAlexFDO

Authors Changjun Jiang, Huaiqing Wang, Shaoyi Liao

Publication date 1 July 2004

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02960767

zbMATH Keywords

firing sequence

Mathematics Subject Classification ID

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

Recommendations

• A pragmatic behavior subtyping relation based on both states and actions
• Equivalence notions applied to designing concurrent systems with the use of Petri nets
• scientific article; zbMATH DE number 2112418
• scientific article; zbMATH DE number 1498421
• scientific article; zbMATH DE number 3915634

Cites work

• Fair relation and modified synchronic distances in a Petri net
• Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis
• Mapping Petri nets with inhibitor arcs onto basic LOTOS behavior expressions
• Net operations
• Real-time synchronisation of multiaxis high-speed machines, from SFC specification to Petri net verification
• Synthesis of a Class of Deadlock-Free Petri Nets

Cited in

(3)

• scientific article; zbMATH DE number 2112418 (Why is no real title available?)
• On profiles and footprints -- relational semantics for Petri nets
• A pragmatic behavior subtyping relation based on both states and actions

This page was built for publication: Behavior relativity of Petri nets.

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