@inproceedings{Chatain:2005:TSC:2102127.2102151,
    Address = {Berlin, Heidelberg},
    Author = {Chatain, Thomas and Jard, Claude},
    BookTitle = {Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems},
    File = {Time supervision of concurrent systems using symbolic unfoldings of time petri nets - Chatain, Jard (0) (0) - a - a - g.pdf},
    ISBN = {3-540-30946-2, 978-3-540-30946-8},
    Keywords = {Petri nets and timed Petri nets},
    Location = {Uppsala, Sweden},
    Pages = {196--210},
    Publisher = {Springer-Verlag},
    Series = {FORMATS'05},
    Title = {Time supervision of concurrent systems using symbolic unfoldings of time petri nets},
    URL = {http://dx.doi.org/10.1007/11603009\_16},
    Year = {2005},
    acmid = {2102151},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11603009\_16},
    date-added = {2013-02-22 13:43:18 +0000},
    date-modified = {2013-02-22 13:44:30 +0000},
    file-2 = {Time supervision of concurrent systems using symbolic unfoldings of time petri nets - Chatain, Jard (1) (0) - a - a - g.pdf},
    numpages = {15},
    doi = {10.1007/11603009_16}
}

@inproceedings{Chatain:2005:TSC:2102127.2102151, Address = {Berlin, Heidelberg}, Author = {Chatain, Thomas and Jard, Claude}, BookTitle = {Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems}, File = {Time supervision of concurrent systems using symbolic unfoldings of time petri nets - Chatain, Jard (0) (0) - a - a - g.pdf}, ISBN = {3-540-30946-2, 978-3-540-30946-8}, Keywords = {Petri nets and timed Petri nets}, Location = {Uppsala, Sweden}, Pages = {196--210}, Publisher = {Springer-Verlag}, Series = {FORMATS'05}, Title = {Time supervision of concurrent systems using symbolic unfoldings of time petri nets}, URL = {http://dx.doi.org/10.1007/11603009_16}, Year = {2005}, acmid = {2102151}, bdsk-url-1 = {http://dx.doi.org/10.1007/11603009_16}, date-added = {2013-02-22 13:43:18 +0000}, date-modified = {2013-02-22 13:44:30 +0000}, file-2 = {Time supervision of concurrent systems using symbolic unfoldings of time petri nets - Chatain, Jard (1) (0) - a - a - g.pdf}, numpages = {15}, doi = {10.1007/11603009_16} }