PNML

swMATH3257MaRDI QIDQ15790

No author found.

Related Items (29)

Accelerating the computation of dead and concurrent places using reductions ⋮ Modeling and verification of the SDL-specified communication protocols using high-level Petri nets ⋮ Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty ⋮ Dependent shrink of transitions for calculating firing frequencies in signaling pathway Petri net model ⋮ Petri nets for modelling metabolic pathways: a survey ⋮ A cylinder computation model for many-core parallel computing ⋮ Reduction of Workflow Nets for Generalised Soundness Verification ⋮ A modification of the process interaction world view ⋮ The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY ⋮ The Petri Net Markup Language ⋮ Lectures on Concurrency and Petri Nets ⋮ Experimenting Formal Proofs of Petri Nets Refinements ⋮ Applications and Theory of Petri Nets 2004 ⋮ Applications and Theory of Petri Nets 2004 ⋮ Applications and Theory of Petri Nets 2004 ⋮ Applications and Theory of Petri Nets 2005 ⋮ The ePNK: An Extensible Petri Net Tool for PNML ⋮ Component-wise incremental LTL model checking ⋮ Decision-Making Modeling and Evaluation of E-Trust in B2C E-Commerce with Using Colored Petri Nets ⋮ Unnamed Item ⋮ Towards Common Exchange Formats for Graphs and Graph Transformation Systems ⋮ Unnamed Item ⋮ GeRoMe: A Generic Role Based Metamodel for Model Management ⋮ PN Standardisation: A Survey ⋮ Formal verification of complex business processes based on high-level Petri nets ⋮ Towards a Standard for Modular Petri Nets: A Formalisation ⋮ Unnamed Item ⋮ CTL* model checking for data-aware dynamic systems with arithmetic ⋮ SESSL

This page was built for software: PNML