Remote supervisory control of the human-in-the-loop system by using Petri nets and Java

Abstract

For internet-based remote control systems, certain human operations may violate desired safety requirements and result in catastrophic failure. For such human-in-the-loop systems, this paper proposes a systematic approach to developing supervisory agents which guarantee that remote manual operations meet safety specifications. By applying the mutual exclusion concept, the Petri net approach is used to model, design, and verify it supervisory system which prevents human,errors. Then, Java technology is adopted to implement the supervisor as an intelligent agent for online supervision of the remote control system. To demonstrate the feasibility and practicability of the developed supervisory approach, we apply it to a rapid thermal processor controlled over the Internet.