The following pages link to Renew (Q16563):
Displaying 8 items.
- Formal specification and verification of decentralized self-adaptive systems using symmetric nets (Q2063102) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Recursive Petri nets (Q2464034) (← links)
- Decidability Problems in Petri Nets with Names and Replication (Q3084987) (← links)
- Software Engineering with Petri Nets: A Web Service and Agent Perspective (Q3452472) (← links)
- Web Service Orchestration with Super-Dual Object Nets (Q3612938) (← links)
- Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation (Q3647367) (← links)
- Modelling Mobile IP with Mobile Petri Nets (Q3651241) (← links)
