scientific article; zbMATH DE number 1534580

zbMATH Open0951.68092MaRDI QIDQ4517366FDOQ4517366

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

Publication date: 21 November 2000

Title of this publication is not available (Why is that?)

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

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)

Cited In (3)

• Comparing Semantics Under Strong Timing of Petri Nets
• Title not available (Why is that?)
• An Axiomatisation of Duplication Equivalence in the Petri Box Calculus

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)