Real Time Scheduling of Batch Systems, using Petri Nets and Lineal logic.

M Dos Santos Soares, S. Julia, JLM Vrancken

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	Undefined/Unknown
Pages (from-to)	1983-1996
Number of pages	14
Journal	Journal of Systems and Software
Issue number	81
Publication status	Published - 2008

Keywords

@article{e490e31621324b2788e6d9f108eb55a1,

title = "Real Time Scheduling of Batch Systems, using Petri Nets and Lineal logic.",

keywords = "CWTS 0.75 <= JFIS < 2.00",

author = "{Dos Santos Soares}, M and S. Julia and JLM Vrancken",

year = "2008",

language = "Undefined/Unknown",

pages = "1983--1996",

journal = "Journal of Systems and Software",

issn = "0164-1212",

publisher = "Elsevier",

number = "81",

}