scientific article; zbMATH DE number 1302045

zbMATH Open0926.68085MaRDI QIDQ4247288FDOQ4247288

Authors: Jörg Desel 

Publication date: 16 June 1999

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

place/transition netsmarked Petri nets

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• A relation-algebraic approach to liveness of place/transition nets
• Analyzing Reachability for Some Petri Nets With Fast Growing Markings
• Automated Technology for Verification and Analysis
• Stop-transitions of Petri nets
• Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
• Using linear programming in Petri net 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)