The residue of vector sets with applications to decidability problems in Petri nets

DOI10.1007/BF00289715zbMath0545.68051OpenAlexW2295768847MaRDI QIDQ797285

Matthias Jantzen, Ruediger Valk

Publication date: 1985

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00289715

zbMATH Keywords

Petri netsbankers problemmaximal live subbehaviourresidue setsright-closed vector sets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Related Items (22)

Deciding a class of path formulas for conflict-free Petri nets ⋮ On selective unboundedness of VASS ⋮ Problems concerning fairness and temporal logic for conflict-free Petri nets ⋮ Constrained properties, semilinear systems, and Petri nets ⋮ Controlling a random population ⋮ Unnamed Item ⋮ The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings ⋮ A unified approach for deciding the existence of certain petri net paths ⋮ ON YEN'S PATH LOGIC FOR PETRI NETS ⋮ A well-structured framework for analysing Petri net extensions ⋮ Reachability solution characterization of parametric real-time systems ⋮ Safe states in banker-like resource allocation problems ⋮ Minimal Cost Reachability/Coverability in Priced Timed Petri Nets ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On minimal elements of upward-closed sets ⋮ On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net ⋮ Unnamed Item ⋮ Optimal Bounds for Multiweighted and Parametrised Energy Games ⋮ A taxonomy of fairness and temporal logic problems for Petri nets ⋮ Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks ⋮ Linear control of live marked graphs

Cites Work

• Safe states in banker-like resource allocation problems
• Petri nets and regular languages
• The equality problem for vector addition systems is undecidable
• The covering and boundedness problems for vector addition systems
• Infinite behaviour of Petri nets
• Parallel program schemata
• Rational sets in commutative monoids
• Decision problems forω-automata
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The residue of vector sets with applications to decidability problems in Petri nets