@article{Soares:2008,
	author          = {Michel dos Santos Soares and St'{e}phane Julia and Jos Vrancken},
	title           = {Real-time scheduling of batch systems using Petri nets and linear logic},
	journal         = {Journal of Systems and Software},
	year            = {2008},
	month           = {November},
	volume          = {81},
	number          = {11},
	pages           = {1983-1996},
	issn            = {0164-1212},
	url             = {http://dx.doi.org/10.1016/j.jss.2008.01.018},
	project         = {Moose},
	group           = {SE}
}