PNML

swMATH3257MaRDI QIDQ15790FDOQ15790

Author name not available (Why is that?)

Cited In (29)

• The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY
• Lectures on Concurrency and Petri Nets
• CTL* model checking for data-aware dynamic systems with arithmetic
• Decision-Making Modeling and Evaluation of E-Trust in B2C E-Commerce with Using Colored Petri Nets
• Accelerating the computation of dead and concurrent places using reductions
• Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
• GeRoMe: A Generic Role Based Metamodel for Model Management
• Formal verification of complex business processes based on high-level Petri nets
• Reduction of workflow nets for generalised soundness verification
• Towards a Standard for Modular Petri Nets: A Formalisation
• Experimenting Formal Proofs of Petri Nets Refinements
• Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty
• PN Standardisation: A Survey
• Dependent shrink of transitions for calculating firing frequencies in signaling pathway Petri net model
• Applications and Theory of Petri Nets 2004
• SESSL
• Title not available (Why is that?)
• The ePNK: an extensible Petri net tool for PNML
• Applications and Theory of Petri Nets 2004
• Applications and Theory of Petri Nets 2004
• Applications and Theory of Petri Nets 2005
• High-level Petri net model checking with AlPiNA
• Towards common exchange formats for graphs and graph transformation systems
• A cylinder computation model for many-core parallel computing
• The Petri net markup language
• Petri nets for modelling metabolic pathways: a survey
• A modification of the process interaction world view
• DP2PN2Solver: a flexible dynamic programming solver software tool
• Component-wise incremental LTL model checking

This page was built for software: PNML