Renew
From MaRDI portal
Software:16563
swMATH4387MaRDI QIDQ16563FDOQ16563
Author name not available (Why is that?)
Cited In (13)
- Nested-unit Petri nets
- Fundamental Approaches to Software Engineering
- Modelling mobile IP with mobile Petri nets
- Automated Technology for Verification and Analysis
- Lectures on Concurrency and Petri Nets
- Decidability problems in Petri nets with names and replication
- Applications and Theory of Petri Nets 2005
- Software engineering with Petri nets: a web service and agent perspective
- Formal specification and verification of decentralized self-adaptive systems using symmetric nets
- Building efficient model checkers using hierarchical set decision diagrams and automatic saturation
- Modeling business processes. A Petri net-oriented approach
- Recursive Petri nets
- Web Service Orchestration with Super-Dual Object Nets
This page was built for software: Renew
