Thomas Chatain, Claude Jard. Concurrent Symbolic Semantics of Safe Petri Nets and Application to Time Petri Nets. In IEEE 10th annual international conference on New Technologies of Distributed Systems (NOTERE 2010), Volume IEEE, Pages 9-16, 2010.
Claude Jard http://www.irisa.fr/distribcom
@InProceedings{CJ10,
Author = {Chatain, Thomas and Jard, Claude},
Title = {Concurrent Symbolic Semantics of Safe Petri Nets and Application to Time Petri Nets},
BookTitle = {IEEE 10th annual international conference on New Technologies of Distributed Systems (NOTERE 2010)},
Volume = {IEEE},
Pages = {9--16},
Year = {2010}
}
Get EndNote Reference (.ref)