T. Chatain, C. Jard. Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets. In 3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2005), LNCS, Volume 3829, Pages 187-201, September 2005.
[ Time ] [ Petri nets ] [ Unfolding ]
Claude Jard http://www.irisa.fr/distribcom
@InProceedings{Formats05,
Author = {Chatain, T. and Jard, C.},
Title = {Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets},
BookTitle = {3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2005)},
Volume = {3829},
Pages = {187--201},
Series = {LNCS},
Publisher = {Springer Verlag},
Month = {September},
Year = {2005}
}
Get EndNote Reference (.ref)