|
Conferences in DBLP
Component-Based Construction of Heterogeneous Real-Time Systems in Bip. [Citation Graph (, )][DBLP]
Unifying Petri Net Semantics with Token Flows. [Citation Graph (, )][DBLP]
Reaction Systems: A Formal Framework for Processes. [Citation Graph (, )][DBLP]
Simple Composition of Nets. [Citation Graph (, )][DBLP]
Towards a Standard for Modular Petri Nets: A Formalisation. [Citation Graph (, )][DBLP]
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication. [Citation Graph (, )][DBLP]
Pomset Languages of Finite Step Transition Systems. [Citation Graph (, )][DBLP]
Deficiency Zero Petri Nets and Product Form. [Citation Graph (, )][DBLP]
Bisimilarity Minimization in O(m logn) Time. [Citation Graph (, )][DBLP]
P-Semiflow Computation with Decision Diagrams. [Citation Graph (, )][DBLP]
Orthomodular Lattices in Occurrence Nets. [Citation Graph (, )][DBLP]
Hasse Diagram Generators and Petri Nets. [Citation Graph (, )][DBLP]
Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed. [Citation Graph (, )][DBLP]
Oclets - Scenario-Based Modeling with Petri Nets. [Citation Graph (, )][DBLP]
Hornets: Nets within Nets Combined with Net Algebra. [Citation Graph (, )][DBLP]
Monotonicity in Service Orchestrations. [Citation Graph (, )][DBLP]
Compositional Service Trees. [Citation Graph (, )][DBLP]
ASAP: An Extensible Platform for State Space Analysis. [Citation Graph (, )][DBLP]
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator. [Citation Graph (, )][DBLP]
DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. [Citation Graph (, )][DBLP]
Workcraft - A Framework for Interpreted Graph Models. [Citation Graph (, )][DBLP]
PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description. [Citation Graph (, )][DBLP]
|