Resource bisimulation in Petri nets

MaRDI QIDQ880715zbMATH OpenFDO

Authors Vladimir A. Bashkin, Irina A. Lomazova

Publication date 16 May 2007

Published in Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2064225
• On the Approximation of the Resource Equivalences in Petri Nets with the Invisible Transitions
• Resource equivalences in Petri nets
• scientific article; zbMATH DE number 1696467
• Undecidability of bisimilarity for Petri nets and some related problems

Cited in

(6)

• Resource equivalences in Petri nets
• Resource bisimilarity and graded bisimilarity coincide
• scientific article; zbMATH DE number 1696467 (Why is no real title available?)
• scientific article; zbMATH DE number 2064225 (Why is no real title available?)
• scientific article; zbMATH DE number 1500662 (Why is no real title available?)
• Resource Bisimilarity in Petri Nets is Decidable

This page was built for publication: Resource bisimulation in Petri nets

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