Concurrent Processes Flow Prototyping
Zbigniew Antoni Banaszak, Michał Polak · Kluwer Academic Publishers eBooks · 2006
The problem of controlling concurrent processes that compete for access to shared resources is considered. The processes are controlled by a pair (an initial state, a set of dispatching rules) that guarantees steady cyclic flows. A proposal of an automated prototyping procedure of a system is considered to aid determining desired system flows for assumed factors such as system capacity or the value of rate of resource utilisation.