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
• Towards Common Exchange Formats for Graphs and Graph Transformation Systems
• Towards a Standard for Modular Petri Nets: A Formalisation
• Title not available (Why is that?)
• Experimenting Formal Proofs of Petri Nets Refinements
• The Petri Net Markup Language
• Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty
• PN Standardisation: A Survey
• Reduction of Workflow Nets for Generalised Soundness Verification
• 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?)
• Applications and Theory of Petri Nets 2004
• Applications and Theory of Petri Nets 2004
• Applications and Theory of Petri Nets 2005
• A cylinder computation model for many-core parallel computing
• 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
• The ePNK: An Extensible Petri Net Tool for PNML

This page was built for software: PNML