Publication:2766577
From MaRDI portal
zbMath0986.68074MaRDI QIDQ2766577
Philippe Schnoebelen, Natalia Sidorova
Publication date: 17 June 2002
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Resource Bisimilarity in Petri Nets is Decidable, On the Approximation of the Resource Equivalences in Petri Nets with the Invisible Transitions, Property-preserving transformations of elementary net systems based on morphisms, Verifying chemical reaction network implementations: a pathway decomposition approach, Unification and combination of a class of traversal strategies made with pattern matching and fixed-points, Modular Modelling of Software Product Lines with Feature Nets