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
- Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation
- Automated Technology for Verification and Analysis
- Lectures on Concurrency and Petri Nets
- Title not available (Why is that?)
- Applications and Theory of Petri Nets 2005
- Modelling Mobile IP with Mobile Petri Nets
- Formal specification and verification of decentralized self-adaptive systems using symmetric nets
- Decidability Problems in Petri Nets with Names and Replication
- Recursive Petri nets
- Web Service Orchestration with Super-Dual Object Nets
- Software Engineering with Petri Nets: A Web Service and Agent Perspective
This page was built for software: Renew
