Determinization of timed Petri nets behaviors (Q312642): Difference between revisions

@@ Property / DOI @@
-.1007/s10626-015-0214-1
@@ Property / DOI: 10.1007/s10626-015-0214-1 / rank @@
-Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+\(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems
+Normal rank
@@ Property / cites work @@
+Sequential?
@@ Property / cites work: Sequential? / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete, Continuous, and Hybrid Petri Nets
@@ Property / cites work: Discrete, Continuous, and Hybrid Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Performance evaluation of (max,+) automata
@@ Property / cites work: Performance evaluation of (max,+) automata / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling and analysis of timed Petri nets using heaps of pieces
+Normal rank
@@ Property / cites work @@
+Supervisory Control of Petri Nets with Language Specifications
+Normal rank
@@ Property / cites work @@
+Efficient implementation of fairness in discrete-event systems using queues
+Normal rank
@@ Property / cites work @@
+A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata
+Normal rank
@@ Property / cites work @@
+Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
+Normal rank
@@ Property / cites work @@
+Supervisory control of \((\max,+)\) automata: a behavioral approach
+Normal rank
@@ Property / cites work @@
+Compositions of (max,+) automata
@@ Property / cites work: Compositions of (max,+) automata / rank @@
+Normal rank
@@ Property / cites work @@
+Determinization of timed Petri nets behaviors
@@ Property / cites work: Determinization of timed Petri nets behaviors / rank @@
+Normal rank
@@ Property / cites work @@
+Blending Timed Formal Models with Clock Transition Systems
+Normal rank
@@ Property / cites work @@
+Behavioural differential equations: a coinductive calculus of streams, automata, and power series
+Normal rank
@@ Property / cites work @@
+On supervisory policies that enforce global fairness and bounded fairness in partially controlled Petri nets
+Normal rank
@@ Property / cites work @@
+Q4202958
@@ Property / cites work: Q4202958 / rank @@
+Normal rank
@@ Property / cites work @@
+Feedback control of Petri nets based on place invariants
+Normal rank
@@ Property / DOI @@
+.1007/S10626-015-0214-1
@@ Property / DOI: 10.1007/S10626-015-0214-1 / rank @@
+Normal rank