A review of synthesis techniques for Petri nets with applications to automated manufacturing systems. (English) Zbl 0775.93171
MSC:
93C99 | Model systems in control theory |
68Q85 | Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) |