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

@@ 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