The following pages link to (Q4461752):
Displaying 8 items.
- Resource bisimulation in Petri nets (Q880715) (← links)
- Resource equivalences in Petri nets (Q1662525) (← links)
- Resource bisimilarity and graded bisimilarity coincide (Q1944040) (← links)
- Nets of active resources for distributed systems modeling (Q2880623) (← links)
- Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource (Q3452466) (← links)
- (Q4501684) (← 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)