Modeling and Control of an Automated System in Surgical Microscopy Based on Petri Nets

This scientific study makes reference to the modeling, control, and failure diagnosis based on Petri-Net based machine (PN) system. The described system incorporates an automated ophthalmic surgical microscope which is utilized here. The approach for its design and function concerns control logic based applications, particularly, extended Hierarchical Petri Nets GHENeSys and language programming for the coordination of timed continuous activities and the use of CCS compiler. Due to the fact that the control system is based on discrete events, a formal PN system model was adopted. The aim to verify the feasibility of the functional properties and structure of the model is proposed in order to achieve greater efficiency in the control design as well as considering a failure-tolerant control system.