You are here: Home :: Area NEM :: Engineering :: Automation

Hans-Joachim Zander

A Method for Model-based Design of Control Algorithms for Parallel Discrete Event Processes

Keywords: modelling parallel discrete event processes, nondeterminism, control-oriented Petri nets, process nets, control nets

In parallel discrete event processes you have to distinguish between a function-conditioned and a time-conditioned nondeterministic behaviour. The function-conditioned nondeterministic behaviour can be described by a nondeterministic automaton. In order to counteract the time-conditioned nondeterministic behaviour staying operations are to insert in a suited way. On the basis of appropriate theoretical considerations frame conditions for modelling the processes are formulated. The processes are described by process nets, from which the control algorithms are generated. The developed method is demonstrated by an example.

at – Automatisierungstechnik, Oldenbourg Wissenschaftsverlag

Print ISSN: 0178-2312
Volume: 55, 11/2007
Pages: 580 - 593

Show full article (external site)

Show all available items of this journal

 

Area NEM