scientific article; zbMATH DE number 1534580

MaRDI QIDQ4517366zbMATH OpenFDO

Authors I. B. Virbitskaite, I. V. Tarasyuk

Publication date 21 November 2000

zbMATH Keywords

real-time systemPetri net

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Equivalence notions applied to designing concurrent systems with the use of Petri nets
• True concurrent equivalences in time Petri nets
• Comparative trace semantics of time Petri nets
• A notion of equivalence for stochastic Petri nets
• Testing equivalences of time Petri nets

Cited in

(6)

• A notion of equivalence for stochastic Petri nets
• Comparing Semantics Under Strong Timing of Petri Nets
• True concurrent equivalences in time Petri nets
• An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
• scientific article; zbMATH DE number 3988725 (Why is no real title available?)
• Functional equivalences of Petri nets

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 Q4517366)