On minimal elements of upward-closed sets

DOI10.1016/j.tcs.2009.02.036zbMath1168.68032OpenAlexW2077724781MaRDI QIDQ1019726

Chien-Liang Chen, Hsu-Chun Yen

Publication date: 4 June 2009

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2009.02.036

zbMATH Keywords

Petri netminimal elementvector addition systemupward-closed set

Mathematics Subject Classification ID

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

Related Items

Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks

Cites Work

• Unnamed Item
• The residue of vector sets with applications to decidability problems in Petri nets
• Normal Petri nets
• Normal and sinkless Petri nets
• The covering and boundedness problems for vector addition systems
• Integer linear programming and the analysis of some Petri net problems
• A theory of timed automata
• A multiparameter analysis of the boundedness problem for vector addition systems
• Timing Parameter Characterization of Real-Time Systems
• Bounds on Positive Integral Solutions of Linear Diophantine Equations
• Parametric real-time reasoning