Taking Chinese supervisor system as the research project, after studying the basic theories, analyzing the problems and the reason, the writer tries to put forward some suggestions about the perfecting measures.
The supervisor prepares a communication network with Einstein-Podolsky-Rosen pairs and auxiliary particles.
After passing a security test of the communication network, a supervisor tells the users the network is secure and they can communicate.
Any two users in the network can communicate through the above processes under the control of the supervisor and the controllers.
Supervisor control algorithms are proposed for which a user (an operator) controls the motion velocity and direction, while the robot configuration that implements the desired motion is changed automatically.
This paper deals with the synthesis of Petri net supervisor enforcing the more expressive constraints including marking terms, firing vector terms and Parikh vector terms.