The following pages link to Petri net reactive modules (Q2503287):
Displaying 5 items.
- Failures semantics and deadlocking of modular Petri nets (Q1101233) (← links)
- Petri net modules in the transformation-based component framework (Q2369035) (← links)
- Dynamic Reactive Modules (Q3090845) (← links)
- Reactive Petri Nets for Workflow Modeling (Q3550621) (← links)
- Modular Analysis of Petri Nets (Q4509344) (← links)