Covering Steps Graphs of Time Petri Nets (Q5179058): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2009.05.037
@@ Property / DOI: 10.1016/j.entcs.2009.05.037 / 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.1016/j.entcs.2009.05.037
+Normal rank
@@ Property / OpenAlex ID @@
+W2027595901
@@ Property / OpenAlex ID: W2027595901 / rank @@
+Normal rank
@@ Property / cites work @@
+On Interleaving in Timed Automata
@@ Property / cites work: On Interleaving in Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417948
@@ Property / cites work: Q4417948 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3602751
@@ Property / cites work: Q3602751 / 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 @@
+Partial-order reduction techniques for real-time model checking
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
+Normal rank
@@ Property / cites work @@
+Stutter-invariant temporal properties are expressible without the next-time operator
+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 @@
+Q4535185
@@ Property / cites work: Q4535185 / 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 @@
+Q4037087
@@ Property / cites work: Q4037087 / rank @@
+Normal rank
@@ Property / cites work @@
+Covering step graph
@@ Property / cites work: Covering step graph / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2009.05.037
@@ Property / DOI: 10.1016/J.ENTCS.2009.05.037 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5179058