On Petri Nets with Hierarchical Special Arcs (Q5111656): Difference between revisions
From MaRDI portal
Changed an Item |
Normalize DOI. |
||
(2 intermediate revisions by 2 users not shown) | |||
label / en | label / en | ||
On Petri Nets with Hierarchical Special Arcs | |||
Property / DOI | |||
Property / DOI: 10.4230/LIPIcs.CONCUR.2017.40 / 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
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