Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets

[1]  Bertrand Cottenceau,et al.  Modeling and Control of Weight-Balanced Timed Event Graphs in Dioids , 2014, IEEE Transactions on Automatic Control.

[2]  Axel Legay,et al.  Tropical Fourier-Motzkin elimination, with an application to real-time verification , 2013, Int. J. Algebra Comput..

[3]  Shinsuke Iwao,et al.  Tropical curves and integrable piecewise linear maps , 2011, 1111.5771.

[4]  Maurice Goursat,et al.  Piecewise linear concave dynamical systems appearing in the microscopic traffic modeling , 2011 .

[5]  Jirí Srba,et al.  Verification of Timed-Arc Petri Nets , 2011, SOFSEM.

[6]  Jirí Srba,et al.  TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets , 2009, ATVA.

[7]  Didier Lime,et al.  Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches , 2009, TACAS.

[8]  Jirí Srba,et al.  Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets , 2008, FORMATS.

[9]  François Vernadat,et al.  Time Petri Nets Analysis with TINA , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

[10]  Geert Jan Olsder,et al.  Max Plus at Work-Modelling and Analysis of Synchronized Systems , 2006 .

[11]  Serge Haddad,et al.  Comparison of the Expressiveness of Timed Automata and Time Petri Nets , 2005, FORMATS.

[12]  Olivier H. Roux,et al.  Using Zone Graph Method for Computing the State Space of a Time Petri Net , 2003, FORMATS.

[13]  Parosh Aziz Abdulla,et al.  Timed Petri Nets and BQOs , 2001, ICATPN.

[14]  G. Cohen,et al.  Idempotency: Algebraic system analysis of timed Petri nets , 1998 .

[15]  Projet Meta.  Max-Plus-Times Linear Systems , 1997 .

[16]  S. Gaubert,et al.  THE DUALITY THEOREM FOR MIN-MAX FUNCTIONS , 1997 .

[17]  Laurent Libeaut.  Sur l'utilisation des dioides pour la commande des systemes a evenements discrets , 1996 .

[18]  J. Quadrat,et al.  Asymptotic throughput of continuous timed Petri nets , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[19]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..