Renew
From MaRDI portal
Software:16563
No author found.
Related Items (13)
Software Engineering with Petri Nets: A Web Service and Agent Perspective ⋮ Fundamental Approaches to Software Engineering ⋮ Nested-unit Petri nets ⋮ Recursive Petri nets ⋮ Lectures on Concurrency and Petri Nets ⋮ Applications and Theory of Petri Nets 2005 ⋮ Automated Technology for Verification and Analysis ⋮ Web Service Orchestration with Super-Dual Object Nets ⋮ Decidability Problems in Petri Nets with Names and Replication ⋮ Formal specification and verification of decentralized self-adaptive systems using symmetric nets ⋮ Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation ⋮ Unnamed Item ⋮ Modelling Mobile IP with Mobile Petri Nets
This page was built for software: Renew
