scientific article; zbMATH DE number 1498421

MaRDI QIDQ4499486zbMATH OpenFDO

Authors I. V. Tarasyuk

Publication date 30 August 2000

zbMATH Keywords

bisimulationconcurrent systemsPetri net

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

(9)

• Behavior relativity of Petri nets.
• Resource equivalences in Petri nets
• On the expressive power of behavioral profiles
• scientific article; zbMATH DE number 3988725 (Why is no real title available?)
• Fundamental approach to equivalent systems analysis
• scientific article; zbMATH DE number 1432334 (Why is no real title available?)
• Functional equivalences of Petri nets
• Equivalence notions applied to designing concurrent systems with the use of Petri nets
• Equivalent forms of multi component Toda hierarchies

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)