swMATH4387MaRDI QIDQ16563FDOQ16563
Author name not available (Why is that?)
Official website: http://www.renew.de/
Cited In (26)
- 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
- SYROCO
- DaGen
- BPEL2PN
- Woflan
- M-nets
- ImageNetDiff
- Petriweb
- caesar.bdd
- LOEWE
- NUPN_INFO
- PNML2NUPN
- PNMC
- Mulan/Capa
- 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
