Format | |
---|---|
BibTeX | |
MARCXML | |
TextMARC | |
MARC | |
DublinCore | |
EndNote | |
NLM | |
RefWorks | |
RIS |
Linked e-resources
Details
Table of Contents
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms
Defining Meaningful Local Process Models
Distributed Synthesis of Asynchronously Communicating Distributed Process Models
Using Approximation for the Verification of Token-Scaling Models
Portfolio Management in Explicit Model Checking
Practical Distributed Implementation of Very Large Scale Petri Net Simulations.
Defining Meaningful Local Process Models
Distributed Synthesis of Asynchronously Communicating Distributed Process Models
Using Approximation for the Verification of Token-Scaling Models
Portfolio Management in Explicit Model Checking
Practical Distributed Implementation of Very Large Scale Petri Net Simulations.