The following pages link to PEP (Q28416):
Displaying 13 items.
- Computing the reveals relation in occurrence nets (Q391112) (← links)
- Statechartable Petri nets (Q470022) (← links)
- Verification of bounded Petri nets using integer programming (Q878111) (← links)
- A compositional Petri net translation of general \(\pi\)-calculus terms (Q939164) (← links)
- M-nets: a survey (Q1006339) (← links)
- Petri net based verification of distributed algorithms: An example (Q1377301) (← links)
- General parameterised refinement and recursion for the M-net calculus (Q1399968) (← links)
- Multilevel transitive and intransitive non-interference, causally (Q1680560) (← links)
- Model checking multi-agent systems with logic based Petri nets (Q2426108) (← links)
- Petri nets with causal time for system verification (Q2842866) (← links)
- (Q4353641) (← links)
- (Q4472266) (← links)
- Non-interference by Unfolding (Q5166764) (← links)