Synthesis method using deviation bounds in automated manufacturing systems

The authors describe the resource sharing interaction between subprocesses, which frequently appear in automated manufacturing systems, using the deviation bound. The results are used for synthesizing Petri nets in which liveness and boundedness are guaranteed. A shared resource net that can be considered a basic formulation for handling shared resource problems is introduced. A weighted deviation bound is introduced and used to characterize concurrency in generalized Petri nets