Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper) (Q3510874): Difference between revisions

@@ Property / cites work @@
+Applications and Theory of Petri Nets 2004
@@ Property / cites work: Applications and Theory of Petri Nets 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability problems and abstract state spaces for time Petri nets with stopwatches
+Normal rank
@@ Property / cites work @@
+What good are digital clocks?
@@ Property / cites work: What good are digital clocks? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3357558
@@ Property / cites work: Q3357558 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264237
@@ Property / cites work: Q4264237 / rank @@
+Normal rank
@@ Property / cites work @@
+State space computation and analysis of Time Petri Nets
+Normal rank
@@ Property / cites work @@
+Q4417948
@@ Property / cites work: Q4417948 / rank @@
+Normal rank
@@ Property / cites work @@
+TCTL Model Checking of Time Petri Nets
@@ Property / cites work: TCTL Model Checking of Time Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank