F. Baccelli, S. Foss, and B. Gaujal.
Structural, temporal and stochastic properties of unbounded
free-choice petri nets.
Rapport de Recherche 2411, INRIA, 1994.
J.-L. Boimond, L. Hardouin, and P. Chiron.
Internal model control of discrete-event processes in the
max-algebra,
In J.W. Nieuwenhuis, C. Praagman and H.L. Trentelman, editor,
European Control Conference. ISBN 90367 0374 3, 1993.
C.G. Cassandras, S. Lafortune, and G.J. Olsder.
Introduction to the modeling, control and optimization of discrete
event systems.
In A. Isidori, editor, European Control Conference. Springer
Verlag, 1995.
G. Cohen and J.-P. Quadrat, editors.
11th International Conference on Analysis and Optimization of
Systems, Discrete Event Systems.
Springer Verlag, 1994.
P. Dudnikov and S. Samborskii.
Endomorphisms of semimodules over semirings with an idempotent
operation.
Math. in USSR, Izvestija, 38(1), 1992.
translation of Izv. Akad. Nauk SSSR Ser. Mat. 55, 1991.
S. Gaubert and M. Plus.
Methods and applications of (max,+) linear algebra.
In R. Reischuk and M. Morvan, editors, Proceedings of STACS'97,
number 1200 in LNCS, Lübeck, March 1997. Springer.
D. Krob.
The equality problem for rational series with multiplicities in the
tropical semiring is undecidable.
Int. J. of Algebra and Comput., 3, 1993.
L. Libeaut, and J.J. Loiseau.
Admissible initial conditions and control of timed event graphs.
In proceedings 34th Conference on Decision and Control,
New Orleans,1995. Edited by the IEEE Control System Society.
G. Litvinov and V. Maslov.
Correspondence principle for idempotent calculus and some computer
applications.
Report IHES/M/95/33, IHES, Bures-sur-Yvette, France, April 1995.