Robert H. Sloan, Ugo A. Buy. Reduction Rules for Time Petri Nets. Acta Informatica, 33(7):687-706, 1996.
@article{SloanB96, title = {Reduction Rules for Time Petri Nets}, author = {Robert H. Sloan and Ugo A. Buy}, year = {1996}, tags = {rule-based, rules}, researchr = {https://researchr.org/publication/SloanB96}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {33}, number = {7}, pages = {687-706}, }