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

Michel dos Santos Soares Stéphane Julia Jos L. M. Vrancken

Published in: J. Syst. Softw. (2008)

Keyphrases

petri net
discrete event systems
linear logic
logic programming
service composition
petri net model
fuzzy petri net
low cost
complex systems
fixed point
programmable logic controller
fuzzy logic
distributed systems
knowledge based systems