Hanna Klaudel, Franck Pommereau
A Concurrent and Compositional Petri Net Semantics of Preemption
IFM, 2000.
@inproceedings{IFM-2000-KlaudelP, author = "Hanna Klaudel and Franck Pommereau", booktitle = "{Proceedings of the Second International Conference on Integrated Formal Methods}", doi = "10.1007/3-540-40911-4_19", isbn = "3-540-41196-8", pages = "318--337", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{A Concurrent and Compositional Petri Net Semantics of Preemption}", volume = 1945, year = 2000, }