@inproceedings{inproceedings0b453816,
title   = {Using time petri nets for modeling and verification of timed constrained workflow systems},
author = {Del Foyo, Pedro Manuel Gonzalez and Silva, José Reinaldo},
year = {2007},
publisher = {ABCM},
booktitle   = {International Congress of Mechanical Engineering}
}