Future Research

Through the study of applying the PN for remote supervision systems, there are several directions in which this work can be extended in the future as follows:

1) Time-based constraints

The discussed supervisory control framework in this thesis is restricted to purely logical system models (Giua and DiCesare, 1991; Moody and Antsaklis, 1998) For applications with time-based constraints (e.g.

communication delays), it is necessary to extend the present model with time-related specifications (Cofer and Garg, 1996; Caramihai et al., 1998).

2) Automatic model transformations

This work provides the design approach by integrating IDEF0/SPNC/TPL/LLD to systematically achieve the sequence controller.

Furthermore, the approach by applying the UML with PN is also employed to develop an SNMP-based management system. However, the model transformation between these two approaches is still achieved manually in the present study. Design of computer programs could be the future research to transform the models automatically (Mosterman et al., 2004).

3) Access security

Security is a prime concern for network systems with remote access and only basic user/password and IP-access policies are adopted in this thesis. Several solutions have been proposed for SNMP to improve the access-control policy, such as Secure-SNMP (S-SNMP) and SNMPv3 (Zeltserman, 1999). Improving the security of the present remote systems by applying the new SNMP policies is considered in the future implementation.

4) Multiple-user conditions

The remote control scheme presented in this thesis is focused on the condition of single-user access at a time. Future work should study the conditions of multiple-user access.

5) Error recovery mechanisms

disconnection are unavoidable in Internet. Moreover, process errors or device faults may also occur during the operations. Thus, error recovery mechanisms for the present remote supervision systems can be further investigated (Jeng, 1997; Zhou and Dicesare, 1989).

REFERENCES

Aicklen, G. H., and Main, P. M. (1995), “Remote control of diverse network elements using SNMP,” in Proc. IEEE Int. Conf. Military Communication, San Diego, CA, pp.

673-677.

ANSI/ISA (1995), S88.01: Batch Control Part 1: Models and Terminology. Instrument Society of America.

Balemi, S., Hoffmann, G. J., Gyugyi, P., Wong-Toi, H., and Franklin, G. F. (1993),

“Supervisory control of a rapid thermal multiprocessor,” IEEE Trans. Automat.

Contr., vol. 38, no. 7, pp. 1040-1059.

Batur, C., Ma, Q., Larson, K., and Kettenbauer, N. (2000), “Remote tuning of a PID position controller via Internet,” in Proc. Amer. Contr. Conf., pp. 4403-4406.

Bernardi, S., Donatelli, S., and Merseguer, J. (2002), “From UML sequence diagrams and Statecharts to analyzable Petri net models,” in Proc. ACM Int. Workshop Soft.

Performan., Rome, Italy, pp. 35-45.

Bertolissi, E., and Preece, C. (1998), “Java in real-time applications,” IEEE Trans.

Nuclear Science, vol. 45, no. 4, pp 1965-1972.

Booch, G., Rumbaugh, J., and Jacobson, I. (1999) The Unified Modeling Language User Guide. Reading, MA: Addison-Wesley.

Bordbar, B., Giacomini, L., and Holding, D. J. (2000), “UML and Petri nets for design and analysis of distributed systems,” in Proc. IEEE Int. Conf. Contr. Appli., Anchorage, AK, pp. 610-615.

Boucher, T. O., Jafari, M. A., and Meredith, G. A. (1990), “Petri net control of an

Bradshaw, J. M. (1997), “Introduction to Software Agents,” Software Agents, Bradshaw, J. M. Ed., Cambridge, MA: AAAI Press/MIT Press.

Campione, M., and Walrath, K. (1998), The Java Tutorial: Object-Oriented Programming for the Internet. Second Ed., Reading, MA: Addison-Wesley. [Online].

Available: http://java.sun.com/docs/books/tutorial/

Caramihai, S. I., Dumitrache, I., and Stanescu, A. M. (1998), “Real-time supervision for intelligent manufacturing supported by T-temporal Petri net models,” in Proc. IEEE Int. Conf. Syst., Man, Cybern., San Diego, CA, pp. 582-587.

Cardoso, P. F., and Monteiro, J. L. (1998), “SNMP and industrial networks,” in Proc.

IEEE Int. Conf. Industrial Electronics, Aachen, Germany, pp. 242-246.

Charbonnier, F., Alla, H., and David, R. (1999), “The supervised control of discrete-event dynamic systems,” IEEE Trans. Contr. Syst. Technol., vol. 7, no. 2, pp. 175-187.

Cofer, D. D., and Garg, V. K. (1996), “Supervisory control of real-time discrete-event systems using lattice theory,” IEEE Trans. Automat. Contr., vol. 41, no. 2, pp. 199-209.

Conway, C., Li, C. H., and Pengelly, M. (2002), Pencil: A Petri Net Specification Language for Java. Mathematics Department, Macquarie University, Sydney.

[Online]. Available: http://www.cs.columbia.edu/~conway/plt/pencil/index.html David, R., and Alla, H. (1994), “Petri nets for modeling of dynamics systems– A survey,”

Automatica, vol. 30, no. 2, pp. 175-202.

Fair, R. B. (1993), Rapid Thermal Processing: Science and Technology. New York:

Academic.

Fanti, M. P., Maione, B., and Turchiano, T. (2000), “Comparing diagraph and Petri net approaches to deadlock avoidance in FMS modeling and performance analysis,”

IEEE Trans. Syst., Man, Cybern., Part B, vol. 30, no. 5, pp. 783-798, (Special issue on discrete systems and control).

Feldmann, K., Colombo, A. W., Schnur, C., and Stockel, T. (1999a), “Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC1131. I. Specification and design,” IEEE Trans. Contr. Syst. Tech., vol. 7, no. 6, pp. 657-665.

Feldmann, K., Colombo, A. W., Schnur, C., and Stockel, T. (1999b), “Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC1131. II. Design and implementation,” IEEE Trans. Contr. Syst.

Tech., vol. 7, no. 6, pp. 666-674.

Frey, G. (2000), “Automatic implementation of Petri net based control algorithm on PLC,” in Proc. American Control Conf., pp. 2819-2823.

Frey, G. and Litz, L. (2000), “Formal methods in PLC programming,” in Proc. IEEE Int.

Conf. Systems, Man, and Cybernetics, Nashville, TN, pp. 2431-2436.

Gershwin, S. B. (1989), “Hierarchical flow control: A framework for scheduling and planning discrete events in manufacturing systems,” Proc. IEEE, vol. 77, no. 1, pp.

195-208.

Giua, A., and DiCesare, F. (1991), “Supervisory design using Petri nets,” in Proc. IEEE Int. Conf. Decision Contr., Brighton, England, pp. 92-97.

Greenfield, J. (2001), Unified Modeling Language/Enterprise JavaBeans (UML/EJB) Mapping Specification. Rational Software Corporation Document.

Hoshi, T. (1999), “Current and future Java technology for manufacturing industry,” in Proc. IEEE Int. Conf. Syst., Man, Cybern., Tokyo, Japan, pp. 404-409.

Huang, G. Q., and Mak, K. L. (2001), “Web-integrated manufacturing: recent developments and emerging issues,” Int. J. Comput. Integrated Manuf., vol. 14, no. 1, pp. 3-13, (Special issue on Web-integrated manufacturing).

Hunter, J., and Crawford, W. (1998), Java Servlet Programming. Sebastopol, CA:

O’Reilly & Associates Inc.

International Electrotechnical Commission (1993), Programmable Controllers Part 3, Programming Languages, IEC 1131-3. Geneva: IEC.

Jeng, M. D. (1997), “Petri nets for modeling automated manufacturing systems with error recovery,” IEEE Trans. Robot. Automat., vol. 13, no. 5, pp. 752-760.

Jeng, M. D. and Lu, W. Z. (2002), “Extension of UML and its conversion to Petri nets for semiconductor manufacturing modeling,” in Proc. IEEE Int. Conf. Robot. Automat., Washington, DC, pp. 3175-3180.

Kress, R. L., Hamel, W. R., Murray, P., and Bills, K. (2001), “Control strategies for teleoperated Internet assembly,” IEEE/ASME Trans. Mechatronics, vol. 6, no. 4, pp.

410-416, (Focused section on Internet-based manufacturing systems).

Kunes, M., and Sauter, T. (2001), “Fieldbus–Internet connectivity: The SNMP approach,” IEEE Trans. Ind. Electron., vol. 48, no. 6, pp. 1248-1256, 2001.

Lee, J. S. (1999), A PLC-Based Design for the Controller and the Diagnostic System in Discrete Event Systems, Master Thesis, Department of Electrical and Control Engineering, NCTU, Taiwan.

Lee, J. S., and Hsu, P. L. (accepted), “A systematic approach for the sequence controller design in manufacturing systems,” Int. J. Adv. Manuf. Tech.

Lee, J. S., and Hsu, P. L. (2003a), “A Petri-net approach to hierarchical supervision for remote-controlled processes,” in Proc. IEEE Int. Conf. Systems, Man and Cybernetic, Washington, DC, pp. 1880-1885.

Lee, J. S., and Hsu, P. L. (2003b), “Remote supervisory control of the human-in-the-loop system by using Petri nets and Java,” IEEE Trans. Indu. Electron., vol. 50, no. 3, pp.

431-439.

Lee, J. S., and Hsu, P. L. (2004a), “An improved evaluation of ladder logic diagrams and Petri nets for the sequence controller design in manufacturing systems,” Int. J. Adv.

Manuf. Tech., vol. 24, no. 3-4, pp. 279-287.

Lee, J. S., and Hsu, P. L. (2004b), “Design and implementation of the SNMP agents for remote monitoring and control via UML and Petri nets,” IEEE Trans. Contr. Syst.

Technol., vol. 12, no. 2, pp. 293-302.

Liang, G. R., and Hong, H. M. (1994), “Hierarchy transformation method for repetitive manufacturing system specification, design, verification and implementation,”

Comput.-Integr. Manuf. Syst., vol. 7, no. 3, pp. 191-205.

Looney, C. G., and Alfize A. R. (1987), ”Logic control via Boolean rule matrix transformations, ” IEEE Trans. Syst. Man, and Cybern., vol. 17, no. 6, pp. 1077-1082.

Maziero, C. A. (1990), ARP: Petri Net Analyzer. Control and Microinformatic Laboratory, Federal University of Santa Catarina, Brazil.

Milner R. (1989), Communication and Concurrency. Englewood Cliffs, NJ: Prentice Hall.

Mirle Automation Corporation (1999), SoftPLC Controller User’s Manual Version 1.2.

Hsinchu, Taiwan.

Miyazawa, I., Tanaka, H., and Sekiguchi, T. (1997), “Verification of the behavior of sequential function chart based on its Peti net model”, in Proc. IEEE Int. Workshop Emerging Technologies and Factory Automation, pp. 532-537.

Moalla, M. (1985), “Réseaux de Petri interprétés et Grafcet”, TSI–Technique et Science Informatique, vol. 14, no.1, pp. 17-30.

Moody, J. O., and Antsaklis, P. J. (1998), Supervisory Control of Discrete Event systems Using Petri Nets. Boston, MA: Kluwer.

Mosterman, P. J., Sztipanovits, J., and Engell, S. (2004), “Computer-automated multi-paradigm modeling in control systems technology,” IEEE Trans. Contr. Syst.

Technol., vol. 12, no. 2, pp. 223-234, (Special section on Computer automated multi-paradigm modeling).

Murata, T. (1989), “Petri nets: Properties, analysis, and applications,” Proc. of the IEEE, vol. 77, no. 4, pp. 541-580.

Peng, S. S., and Zhou, M. C. (2001), “Conversion between ladder diagrams and PNs in discrete-event control design— A survey,” in Proc. IEEE Int. Conf. Syst., Man, Cybern., Tucson, AZ, pp. 2682-2687.

Pessen, W. (1989), “Ladder-diagram design for programmable controllers,” Automatica, vol. 25, no. 3, pp. 407-412.

Petri, C. A. (1962), Kommunikation mit Automaten. Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 2. English translation, Communication with Automata. New York: Griffiss Air Force Base, Tech.l Rep. RADC-TR-65--377, vol.

1, pages 1-Suppl. 1. 1966.

Prabhaka, A. (1993), Integration Definition for Function Modeling (IDEF0). National Institute of Standards and Technology, FIPS 183.

Ramadge, P. J., and Wonham, W. M. (1987), “Supervisory control of a class of discrete event processes,” SIAM J. Contr. Optimiz., vol. 25, no. 1, pp. 206-230.

Ramadge, P. J., and Wonham, W. M. (1989), “The control of discrete event systems,”

Proc. IEEE, vol. 77, no. 1, pp. 81-98.

Rasmussen, J., Pejtersen, A. M., and Goodstein, L. P. (1994), Cognitive Systems Engineering. New York, NY: John Wiley and Sons.

Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., and Lorensen, W. (1991), Object-Oriented Modeling and Design. Englewood Cliffs, NJ: Prentice Hall.

Shikli, P. (1997), “Designing winning Web sites for engineers,” Machine Design, vol. 69, no. 21, pp. 30-40.

SoftPLC Corporation (1999), SoftPLC-Java Programmer’s Toolkit. Spicewood, TX.

Srinivasan, R. S. (1998), “Modeling and performance analysis of cluster tools using Petri nets,” IEEE Trans. Semicond. Manuf., vol. 11, no. 3, pp. 394-403, (Special section on Petri nets in semiconductor manufacturing).

Stallings, W. (1993), SNMP, SNMP2, and CMIP. Reading, MA: Addison-Wesley.

Tilbury, D., and Khargonekar, P. (2001), “Challenges and opportunities in logic control for manufacturing systems,” IEEE Contr. Syst. Maga., vol. 21, no. 1, pp. 105-108.

Tittus, M., and Lennartson, B. (1999), “Hierarchical supervisory control for batch processes,” IEEE Trans. Contr. Syst. Technol., vol. 7, no. 5, pp. 542-554.

Uzam, M., and Jones, A. H. (1998), “Discrete event control system design using automation Petri nets and their ladder diagram implementation,” Int. J. Adv. Manuf.

Tech., vol. 14, no. 10, pp. 716-728 (Special issue on Petri nets applications in manufacturing system).

Uzam, M., Jones, A. H., and Yücel, I. (2000), “Using a Petri-net-based approach for the real-time supervisory control of an experimental manufacturing system,” Int. J. Adv.

Manuf. Tech., vol. 16, no. 7, pp. 498-515.

Venkatesh, K., Zhou, M. C., and Caudill, R. (1994a) “Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system,” IEEE Trans. Indu. Electron., vol. 41, no. 6, pp. 611-619, (Special section on Petri nets in manufacturing).

Venkatesh, K., Zhou, M. C., and Caudill, R. (1994b), “Evaluating the complexity of Petri nets and ladder logic diagrams and for sequence controllers design in flexible automation,” in Proc. IEEE Symp. Emerging Technology and Factory Automation, pp.

428-435.

Vucetic, J., and Kline, P. (1998), “Signal monitoring system for wireless network operation and management,” in Proc. SBT/IEEE Int. Symp. Telecommu., pp. 296-300.

Weaver, A., Luo, J., and Zhang, X. (1999), “Monitoring and control using the Internet and Java,” in Proc. IEEE Int. Conf. Industrial Electronics, San Jose, CA, pp. 1152-1158.

Wong, K. C., and Wonham, W. M. (1996), “Hierarchical control of discrete-event systems,” Discrete Event Dynamic Systems: Theory and Applications, vol. 6, pp. 241-273.

Wooldridge, M., and Jenkins, M. R. (1995), “Intelligent agents: theory and practice,”

Knowledge Engineering Review, vol. 10, no. 2, pp. 115–152.

Yang, S. H., Chen, X., and Alty, J. L. (2002), “Design issues and implementation of Internet-based process control systems,” Contr. Engin. Pract., vol. 11, no. 6, pp. 709-720.

Zeltserman, D. (1999), A Practical Guide to SNMPv3 and Network Management. Upper Saddle River, NJ: Prentice-Hall.

Zhong, H., and Wonham, W. M. (1990), “On the consistency of hierarchical supervision in discrete-event systems,” IEEE Trans. Automat. Contr., vol. 35, no. 10, pp. 1125-1134, Oct.

Zhou, M. C., and Dicesare, F. (1989), “Adaptive design of Petri net controllers for error recovery in automated manufacturing systems,” IEEE Trans. Syst., Man, Cybern., vol.

19, no. 5, pp. 963-973.

Zhou, M. C., and DiCesare, F. (1991), “Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems,” IEEE Trans. Robot. Automat., vol. 7, no. 4, pp. 515-527.

Zhou, M. C., and Jeng, M. D. (1998), “Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach,” IEEE Trans.

Semicond. Manuf., vol. 11, no. 3, pp. 333-357, (Special section on Petri nets in semiconductor manufacturing).

Zhou, M. C., and Twiss, E. (1995), ”A comparison of relay ladder logic programming and Petri net approach for sequential industrial control systems, ” in Proc. IEEE Int.

Conf. Control Applications, pp. 748-753.

Zhou, M. C., and Twiss, E. (1998), ”Design of industrial automated systems via relay ladder logic programming and Petri nets, ” IEEE Trans. Syst., Man, and Cybern., Part C, vol. 28, no. 1, pp. 137-150.

Zhou, M. C., and Venkatesh, K. (1998), Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific.

Zuberek, W. M. (2001), “Timed Petri nets in modeling and analysis of cluster tools,”

IEEE Trans. Robot. Automat., vol. 17, no. 5, pp. 562-575.

Zurawski, R., and Zhou, M. C. (1994), “Petri nets and industrial applications: a tutorial,”

IEEE Trans. Ind. Electron., vol. 41, no. 6, pp. 567-583, (Special section on Petri nets in manufacturing).

VITA

Aug 16, 2004