This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Petri Net Tools for the Specification and Analysis of Discrete Controllers
January 1990 (vol. 16 no. 1)
pp. 39-50

An approach is presented for the specification, modeling, and analysis of discrete-state systems and controllers. The approach features a rule-based state-variable-specification formalism that is translated into Petri net models composed of interconnected statemachines. The concept of reduced reachability graphs is introduced as a means of reducing the computational effort required to isolate and analyze subcomponent behavior within the system. The target application is discrete manufacturing systems where the costs involved in writing, debugging, and maintaining of code for online process control can be significantly reduced through the use of automated modeling and analysis techniques. The approach is illustrated by an example of a simple discrete-state system.

[1] T. Agerwala and M. Flynn, "Comments on capabilities, limitations and 'correctness' of Petri nets," inProc. 1st Annu. Symp. Computer Architecture, ACM and IEEE, 1973, pp. 81-86.
[2] D. Dubois and K. E. Stecke, "Using Petri nets to represent production processes," inProc. 22nd IEEE Conf. Decision and Control, Dec. 1983, pp. 1062-1067.
[3] Y. Narahari and N. Vishwanadham, "A Petri net approach to the modelling and analysis of flexible manufacturing systems,"Ann. Oper. Res., 1984, pp. 449-412.
[4] D. H. Crockett and A. A. Desrochers, "Manufacturing workstation control using Petri nets," Rensselaer Polytechnic Inst., Tech. Rep. RAL 83, Aug. 1986.
[5] T. Murata, N. Komoda, and K. Matsumoto, "A Petri-net based FA (factory automation) controller for flexible and maintainable control specifications, " inProc. IECON '84, IEEE Int. Conf. Industrial Electronics, Control and Instrumentation, Oct. 1984, pp. 362-366.
[6] T. Sha, K. Fujisaki, and E. Masada, "Microcomputer implementation of event driven system based on table analysis of Petri net," inProc. IECON '84, IEEE Int. Conf. Industrial Electronics, Control and Instrumentation, Oct. 1984, pp. 356-361.
[7] N. Komoda, K. Kera, and T. Kubo, "An autonomous decentralized control system for factory automation,"Computer, pp. 73-83, Dec. 1984.
[8] M. Courvoisier, R. Valette, J. M. Bigou, and P. Esteban, "A programmable logic controller based on a high level specification tool," inProc. IECON '83, IEEE Int. Conf. Industrial Electronics, Control and Instrumentation, 1983.
[9] B. H. Krogh, "Controlled Petri nets and maximally permissive feedback logic," inProc. 25th Allerton Conf., Univ. Illinois, Urbana, Sept. 1987.
[10] G. Bruno and G. Marchetto, "Process-translatable Petri nets for the rapid prototyping of process control systems,"IEEE Trans. Software Eng., vol. SE-12, Feb. 1986.
[11] R. Valette, M. Courvoisier, J. M. Bigou, and J. Albukerque, "A Petri net based programmable logic controller," inComputer Applications in Production and Engineering, E. A. Warman, Ed. Amsterdam. The Netherlands: North-Holland. 1983, pp. 103-116.
[12] E. Thuriot, R. Valette, and M. Courvoisier, "Implementation of a centralized synchronization concept for production systems," inProc. Real-Time Systems Symp., IEEE Comput. Soc., Dec. 1983.
[13] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
[14] W. Reisig," Place/Transition Systems,"Lecture Notes in Computer Science, Vol. 254, 1986, pp. 117-141.
[15] M. Kamath and N. Vishwanadham, "Applications of Petri net based models in the modeling and analysis of Flexible Manufacturing systems," inProc. IEEE Int. Conf. Robotics and Automation, 1986, pp. 312-317.
[16] D. K. Pathak, "Automated development of control software for discrete manufacturing systems," Master's thesis, Carnegie-Mellon Univ., May 1988.
[17] T. Sripradisvarakul and R. Jain, "Generating aspect graphs for curved objects," inProc. IEEE Workshop Interpretation of 3D Scenes, Nov. 1989, pp. 109-115.
[18] R. G. Willson, "A control separation approach to the specification and analysis of discrete state systems and controllers," Master's thesis, Carnegie-Mellon Univ., Apr. 1988.
[19] T. Tashiro, N. Komoda, I. Tsushima, and K. Matsumoto, "Advanced software for constraint combinational control of discrete event systems-Rule-based control software for factory automation," inProc. COMPINT 85: Computer Aided Technologies, IEEE, Montreal, P.Q., Canada, Sept. 1985, pp. 132-137.
[20] A. Sahraoui, H. Atabakhche, M. Courvoisier, and R. Valette, "Joining Petri nets and knowledge based systems for monitoring purposes," inProc. 1987 IEEE Int. Conf. Robotics and Automation, IEEE Council Robotics and Automation, Raleigh, NC, Mar. 1987, pp. 1160-1165.
[21] E. M. Clarke and O. Grumberg, "Research on automatic verification of finite-state concurrent systems,"Annu. Rev. Comput. Sci., vol. 2, pp. 269-290, 1987.
[22] M. H. T. Hack, "Analysis of production schemata by Petri nets," Project MAC, M.I.T., Tech. Rep. 94, 1972.
[23] C. L. Beck, "Modeling and simulation of flexible control structures for automated manufacturing systems," Master's thesis, Carnegie-Mellon Univ. Dec. 1985.

Index Terms:
Petri net tools; specification; discrete controllers; modeling; discrete-state systems; rule-based state-variable-specification formalism; interconnected state machines; reduced reachability graphs; discrete manufacturing systems; computerised control; controllers; discrete systems; formal specification; Petri nets.
Citation:
R.G. Willson, B.H. Krogh, "Petri Net Tools for the Specification and Analysis of Discrete Controllers," IEEE Transactions on Software Engineering, vol. 16, no. 1, pp. 39-50, Jan. 1990, doi:10.1109/32.44362
Usage of this product signifies your acceptance of the Terms of Use.