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

@@ Property / author @@
-Didier Lime
@@ Property / author: Didier Lime / rank @@
-Normal rank
@@ Property / author @@
-Olivier H. Roux
@@ Property / author: Olivier H. Roux / rank @@
-Normal rank
@@ Property / author @@
+Didier Lime
@@ Property / author: Didier Lime / rank @@
+Normal rank
@@ Property / author @@
+Olivier H. Roux
@@ Property / author: Olivier H. Roux / 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/s10703-013-0188-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2085339169
@@ Property / OpenAlex ID: W2085339169 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2248088