scientific article; zbMATH DE number 3878370

MaRDI QIDQ3343448zbMATH OpenFDO

Authors Klemens Döpp

Publication date 1983

zbMATH Keywords

Free Choice Petri netsgeneralized Petri netsreachability set

Mathematics Subject Classification ID

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

Recommendations

• Free Choice Petri Nets
• scientific article; zbMATH DE number 107897
• scientific article; zbMATH DE number 3974311
• Reachability in cyclic extended free-choice systems
• Handles and reachability analysis of free choice nets

Cited in

(8)

• Traps characterize home states in free choice systems
• Reduction using induced subnets to systematically prove properties for free-choice nets
• scientific article; zbMATH DE number 2088665 (Why is no real title available?)
• scientific article; zbMATH DE number 3878369 (Why is no real title available?)
• scientific article; zbMATH DE number 3974311 (Why is no real title available?)
• scientific article; zbMATH DE number 1836365 (Why is no real title available?)
• Siphons, traps and high-level nets with infinite color domains
• Simplified proof of the blocking theorem for free-choice Petri nets

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 Q3343448)