Giorgio Bruno Andrea Castella Gianpaolo Macario Mario P. Pescarmona Scheduling Hard Real Time Systems Using High-Level Petri Nets. 93-112 1992 conf/apn/1992 Application and Theory of Petri Nets db/conf/apn/apn92.html#BrunoCMP92 http://dx.doi.org/10.1007/3-540-55676-1_6