scientific article; zbMATH DE number 1302045

MaRDI QIDQ4247288zbMATH OpenFDO

Authors Jörg Desel

Publication date 16 June 1999

zbMATH Keywords

marked Petri netsplace/transition nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4031001
• scientific article; zbMATH DE number 1302046
• Using linear programming in Petri net analysis
• A relation-algebraic approach to liveness of place/transition nets
• scientific article; zbMATH DE number 1216193

Cited in

(11)

• Algebraic method of determining nonexistence of deadlock markings in Petri nets
• Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
• A relation-algebraic approach to liveness of place/transition nets
• scientific article; zbMATH DE number 4031001 (Why is no real title available?)
• Using linear programming in Petri net analysis
• scientific article; zbMATH DE number 1216193 (Why is no real title available?)
• scientific article; zbMATH DE number 1302046 (Why is no real title available?)
• scientific article; zbMATH DE number 1956602 (Why is no real title available?)
• Analyzing Reachability for Some Petri Nets With Fast Growing Markings
• Stop-transitions of Petri nets
• Automated Technology for Verification and Analysis

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247288)