A valuation-based analysis of conflict-free Petri nets

DOI10.1016/S0167-6911(01)00196-7zbMath0994.93040OpenAlexW2009073873WikidataQ126815337 ScholiaQ126815337MaRDI QIDQ1605406

Hsu-Chun Yen

Publication date: 15 July 2002

Published in: Systems \& Control Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6911(01)00196-7

zbMATH Keywords

fairnesscontrollabilitydecidabilityvaluationPetri netreachability analysismarkings

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• A stubborn attack on state explosion
• Normal and sinkless Petri nets
• Properties of Conflict-Free and Persistent Petri Nets
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A valuation-based analysis of conflict-free Petri nets