Renew
From MaRDI portal
Cited in
(28)- libDDD
- Maria
- SYROCO
- DaGen
- BPEL2PN
- Woflan
- Formal specification and verification of decentralized self-adaptive systems using symmetric nets
- M-nets
- Nested-unit Petri nets
- Recursive Petri nets
- ImageNetDiff
- Petriweb
- Decidability problems in Petri nets with names and replication
- Software engineering with Petri nets: a web service and agent perspective
- Web Service Orchestration with Super-Dual Object Nets
- Building efficient model checkers using hierarchical set decision diagrams and automatic saturation
- Modelling mobile IP with mobile Petri nets
- PNML2NUPN
- NUPN_INFO
- PNMC
- caesar.bdd
- LOEWE
- Mulan/Capa
- Modeling business processes. A Petri net-oriented approach
- Fundamental Approaches to Software Engineering
- Automated Technology for Verification and Analysis
- Lectures on Concurrency and Petri Nets
- Applications and Theory of Petri Nets 2005
This page was built for software: Renew
