Symbolic unfolding of parametric stopwatch Petri nets (Q2248088): Difference between revisions

@@ Property / cites work @@
+Q2754109
@@ Property / cites work: Q2754109 / rank @@
+Normal rank
@@ Property / cites work @@
+A causal semantic for time Petri nets
@@ Property / cites work: A causal semantic for time Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536619
@@ Property / cites work: Q4536619 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability problems and abstract state spaces for time Petri nets with stopwatches
+Normal rank
@@ Property / cites work @@
+Timed Unfoldings for Networks of Timed Automata
@@ Property / cites work: Timed Unfoldings for Networks of Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Unfoldings for Networks of Timed Automata
+Normal rank
@@ Property / cites work @@
+Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets
+Normal rank
@@ Property / cites work @@
+On the well-foundedness of adequate orders used for construction of complete unfolding prefixes
+Normal rank
@@ Property / cites work @@
+Model checking using net unfoldings
@@ Property / cites work: Model checking using net unfoldings / rank @@
+Normal rank
@@ Property / cites work @@
+Unfoldings: A partial-order approach to model checking.
+Normal rank
@@ Property / cites work @@
+An improvement of McMillan's unfolding algorithm
@@ Property / cites work: An improvement of McMillan's unfolding algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed monitoring of concurrent and asynchronous systems
+Normal rank
@@ Property / cites work @@
+State space computation and analysis of Time Petri Nets
+Normal rank
@@ Property / cites work @@
+Diagnosis Using Unfoldings of Parametric Time Petri Nets
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417949
@@ Property / cites work: Q4417949 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of time Petri nets using the state class timed automaton
+Normal rank
@@ Property / cites work @@
+Formal verification of real-time systems with preemptive scheduling
+Normal rank
@@ Property / cites work @@
+Symbolic Unfolding of Parametric Stopwatch Petri Nets
+Normal rank
@@ Property / cites work @@
+Q4929342
@@ Property / cites work: Q4929342 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251922
@@ Property / cites work: Q4251922 / rank @@
+Normal rank