Reachability problems and abstract state spaces for time Petri nets with stopwatches (Q884758): Difference between revisions

@@ Property / DOI @@
-.1007/s10626-006-0011-y
@@ Property / DOI: 10.1007/s10626-006-0011-y / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+NewPolka
@@ Property / describes a project that uses: NewPolka / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Romeo
@@ Property / describes a project that uses: Romeo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TINA
@@ Property / describes a project that uses: TINA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10626-006-0011-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2021391928
@@ Property / OpenAlex ID: W2021391928 / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
+Normal rank
@@ Property / cites work @@
+Q4417948
@@ Property / cites work: Q4417948 / rank @@
+Normal rank
@@ Property / cites work @@
+CTL* model checking for time Petri nets
@@ Property / cites work: CTL* model checking for time Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536599
@@ Property / cites work: Q4536599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757803
@@ Property / cites work: Q2757803 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234084
@@ Property / cites work: Q4234084 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of some problems in Petri nets
@@ Property / cites work: Complexity of some problems in Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+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 @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10626-006-0011-Y
@@ Property / DOI: 10.1007/S10626-006-0011-Y / rank @@
+Normal rank