A lazy query scheme for reachability analysis in Petri nets (Q2117184): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-76983-3_18
+Normal rank
@@ Property / OpenAlex ID @@
+W3169664372
@@ Property / OpenAlex ID: W3169664372 / rank @@
+Normal rank
@@ Property / cites work @@
+On Petri Nets with Hierarchical Special Arcs
@@ Property / cites work: On Petri Nets with Hierarchical Special Arcs / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Directed Unfolding of Petri Nets
@@ Property / cites work: Directed Unfolding of Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111631
@@ Property / cites work: Q5111631 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Networked and Distributed Systems - FORTE 2005
+Normal rank
@@ Property / cites work @@
+Lazy Reachability Analysis in Distributed Systems
@@ Property / cites work: Lazy Reachability Analysis in Distributed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Let's be lazy, we have time -- or, lazy reachability analysis for timed automata
+Normal rank
@@ Property / cites work @@
+A structure to decide reachability in Petri nets
@@ Property / cites work: A structure to decide reachability in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Stubborn Sets for Simple Linear Time Properties
@@ Property / cites work: Stubborn Sets for Simple Linear Time Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Demystifying Reachability in Vector Addition Systems
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+Reachability in Petri Nets with Inhibitor Arcs
@@ Property / cites work: Reachability in Petri Nets with Inhibitor Arcs / rank @@
+Normal rank
@@ Property / cites work @@
+Program Slicing
@@ Property / cites work: Program Slicing / rank @@
+Normal rank