The following pages link to (Q2766577):
Displayed 6 items.
- Property-preserving transformations of elementary net systems based on morphisms (Q2163769) (← links)
- Verifying chemical reaction network implementations: a pathway decomposition approach (Q2422010) (← links)
- Unification and combination of a class of traversal strategies made with pattern matching and fixed-points (Q2669251) (← links)
- Modular Modelling of Software Product Lines with Feature Nets (Q3095246) (← links)
- Resource Bisimilarity in Petri Nets is Decidable (Q5038572) (← links)
- On the Approximation of the Resource Equivalences in Petri Nets with the Invisible Transitions (Q5060067) (← links)