The residue of vector sets with applications to decidability problems in Petri nets (Q797285): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
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
    0 references
    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

    Identifiers