The following pages link to Renew (Q16563):
Displaying 13 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)
- (Q5392873) (← links)
- Fundamental Approaches to Software Engineering (Q5428886) (← links)
- Automated Technology for Verification and Analysis (Q5491863) (← links)
- Lectures on Concurrency and Petri Nets (Q5712293) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713508) (← links)
