On minimal elements of upward-closed sets
From MaRDI portal
Publication:1019726
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
Related Items
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