Real-time scheduling of batch systems using Petri nets and linear logic.

Michel dos Santos Soares Stéphane Julia Jos L. M. Vrancken Real-time scheduling of batch systems using Petri nets and linear logic. 1983-1996 2008 81 Journal of Systems and Software 11 http://dx.doi.org/10.1016/j.jss.2008.01.018 db/journals/jss/jss81.html#SoaresJV08