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

@@ Property / describes a project that uses @@
+Romeo
@@ Property / describes a project that uses: Romeo / rank @@
+Normal rank
@@ 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-540-68746-7_21
+Normal rank
@@ Property / OpenAlex ID @@
+W1488555460
@@ Property / OpenAlex ID: W1488555460 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3510874