On Petri Nets with Hierarchical Special Arcs (Q5111656): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
Normalize DOI.
 
(2 intermediate revisions by 2 users not shown)
label / enlabel / en
 
On Petri Nets with Hierarchical Special Arcs
Property / DOI
 
Property / DOI: 10.4230/LIPIcs.CONCUR.2017.40 / rank
Normal rank
 
Property / cites work
 
Property / cites work: On Petri Nets with Hierarchical Special Arcs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2911620 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Termination of Integer Loops / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Reachability Problem for Vector Addition System with One Zero-Test / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2908849 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model Checking Vector Addition Systems with one zero-test / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity results for 1-safe nets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4219024 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mixing Coverability and Reachability to Analyze VASS with One Zero-Test / rank
 
Normal rank
Property / cites work
 
Property / cites work: Well-structured transition systems everywhere! / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Algorithm for the General Petri Net Reachability Problem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5590814 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Positivity Problems for Low-Order Linear Recurrence Sequences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reachability in Petri Nets with Inhibitor Arcs / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2962843301 / rank
 
Normal rank
Property / title
 
On Petri Nets with Hierarchical Special Arcs (English)
Property / title: On Petri Nets with Hierarchical Special Arcs (English) / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.4230/LIPICS.CONCUR.2017.40 / rank
 
Normal rank

Latest revision as of 15:58, 30 December 2024

scientific article; zbMATH DE number 7204957
Language Label Description Also known as
English
On Petri Nets with Hierarchical Special Arcs
scientific article; zbMATH DE number 7204957

    Statements

    0 references
    0 references
    0 references
    0 references
    0 references
    27 May 2020
    0 references
    Petri nets
    0 references
    hierarchy
    0 references
    reachability
    0 references
    coverability
    0 references
    termination
    0 references
    positivity
    0 references
    On Petri Nets with Hierarchical Special Arcs (English)
    0 references

    Identifiers