Universal safety for timed Petri nets is PSPACE-complete (Q5009418): Difference between revisions

@@ label / en / label / en @@
+Universal safety for timed Petri nets is PSPACE-complete
@@ Property / DOI @@
-.4230/LIPIcs.CONCUR.2018.6
@@ Property / DOI: 10.4230/LIPIcs.CONCUR.2018.6 / rank @@
-Normal rank
@@ Property / author @@
-Q197799
@@ Property / author: Q197799 / rank @@
-Normal rank
@@ Property / author @@
-Richard Mayr
@@ Property / author: Richard Mayr / rank @@
-Normal rank
@@ Property / author @@
+Parosh Aziz Abdulla
@@ Property / author: Parosh Aziz Abdulla / rank @@
+Normal rank
@@ Property / author @@
+Richard Mayr
@@ Property / author: Richard Mayr / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of programs with well quasi-ordered domains.
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
+Normal rank
@@ Property / cites work @@
+Q4535172
@@ Property / cites work: Q4535172 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Liveness of Parameterized Timed Networks
@@ Property / cites work: Liveness of Parameterized Timed Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences
+Normal rank
@@ Property / cites work @@
+Q2766563
@@ Property / cites work: Q2766563 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+PSPACE-completeness of majority automata networks
@@ Property / cites work: PSPACE-completeness of majority automata networks / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2962907036
@@ Property / OpenAlex ID: W2962907036 / rank @@
+Normal rank
@@ Property / title @@
+Universal safety for timed Petri nets is PSPACE-complete (English)
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.CONCUR.2018.6
@@ Property / DOI: 10.4230/LIPICS.CONCUR.2018.6 / rank @@
+Normal rank