In parallel discrete event processes you have to distinguish between a function-conditioned and a time-conditioned nondeterministic behaviour...
Keywords: modelling parallel discrete event processes, nondeterminism, control-oriented Petri nets, process nets, control nets
11/2007 | at Automatisierungstechnik, Oldenbourg Wissenschaftsverlag