scientific article; zbMATH DE number 1498421

MaRDI QIDQ4499486zbMATHFDO

Authors I. V. Tarasyuk

Publication date 30 August 2000

zbMATH Keywords

bisimulationPetri netconcurrent systems

Mathematics Subject Classification ID

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
• Functional equivalences of Petri nets
• scientific article; zbMATH DE number 1432334
• scientific article; zbMATH DE number 3988725
• Behavior relativity of Petri nets.

Cited in

(7)

• Equivalent forms of multi component Toda hierarchies
• Resource equivalences in Petri nets
• Behavior relativity of Petri nets.
• scientific article; zbMATH DE number 3988725 (Why is no real title available?)
• On the expressive power of behavioral profiles
• Fundamental approach to equivalent systems analysis
• 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 Q4499486)