The residue of vector sets with applications to decidability problems in Petri nets (Q797285): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4066554 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4746791 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3957954 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639639 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3687727 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rational sets in commutative monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4171901 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3893319 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The equality problem for vector addition systems is undecidable / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Safe states in banker-like resource allocation problems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Parallel program schemata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Decision problems forω-automata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3325067 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The covering and boundedness problems for vector addition systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4058129 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Infinite behaviour of Petri nets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Petri nets and regular languages / rank | |||
Normal rank |
Revision as of 12:43, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The residue of vector sets with applications to decidability problems in Petri nets |
scientific article |
Statements
The residue of vector sets with applications to decidability problems in Petri nets (English)
0 references
1985
0 references
Various right-closed vector sets which are important for analyzing, constructing, or controlling Petri nets are studied. The minimal generating set of a right closed vector set (\(K=K+{\mathbb{N}}^ n)\) is finite and called the residue set of K:\(res(K).\) It is shown that for various sets, which are important for analysis of Petri nets (such as CONTINUAL(\^T), UNBOUNDED, or NOTBLOCKED(\^T)) one can effectively compute their respective residue sets. The new method for calculating the residue set not only solves a number of open problems but also gives a method for controlling a Petri net in order to realize its maximal live subbehaviour. This gives a new solution for the bankers problem described by Dijkstra.
0 references
right-closed vector sets
0 references
Petri nets
0 references
residue sets
0 references
maximal live subbehaviour
0 references
bankers problem
0 references