Logo NGI
nl
en
Zoeken

infrabase >

publicaties >

real time scheduling of batch systems, using petri nets and linear logic

Titel
Real Time Scheduling of Batch Systems, using Petri Nets and Linear Logic
Type
wetenschappelijk artikel
Referentie
Soares, M.S., S. Julia, J.L.M. Vrancken: Real Time Scheduling of Batch Systems, using Petri Nets and Linear Logic, Journal of Systems and Software, No. 81, January 2008, pp. 1983-1996

Logo NGI

Bouwcampus
Van der Burghweg 1
2628 CS Delft
secretariaat@nginfra.nl
telefoon: 015 303 0900

© 2016 Next Generation Infrastructures