Cited in
(28)- Web Service Orchestration with Super-Dual Object Nets
- 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
- libDDD
- Maria
- SYROCO
- DaGen
- BPEL2PN
- Woflan
- M-nets
- ImageNetDiff
- Petriweb
- caesar.bdd
- LOEWE
- NUPN_INFO
- PNML2NUPN
- PNMC
- Mulan/Capa
- 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
This page was built for software: Renew
