Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets (Q2945579): Difference between revisions

@@ Property / cites work @@
+Q4304869
@@ Property / cites work: Q4304869 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5200628
@@ Property / cites work: Q5200628 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling and Control of Weight-Balanced Timed Event Graphs in Dioids
+Normal rank
@@ Property / cites work @@
+Q4395218
@@ Property / cites work: Q4395218 / rank @@
+Normal rank
@@ Property / cites work @@
+Piecewise linear concave dynamical systems appearing in the microscopic traffic modeling
+Normal rank
@@ Property / cites work @@
+Q4535172
@@ Property / cites work: Q4535172 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Timed-Arc Petri Nets
@@ Property / cites work: Verification of Timed-Arc Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417948
@@ Property / cites work: Q4417948 / rank @@
+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 @@
+Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
+Normal rank