Hardware implementation of real-time Petri-net-based controllers

Control Engineering Practice

Volumn 6, Issue 7, 1998, Pages 889-895

  Chang, Naehyuck ^a   Kwon, Wook Hyun ^a   Park, Jaehyun ^a  

^a NONE

Author keywords

Hardware; Implementation; Parallel processing; Petri nets; Real time systems

Indexed keywords

CONTROL SYSTEM ANALYSIS; DATA STRUCTURES; PARALLEL PROCESSING SYSTEMS; REAL TIME SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS); TABLE LOOKUP;

PETRI-NET-BASED CONTROLLERS;

PETRI NETS;

EID: 0032108371     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0967-0661(98)00076-8     Document Type: Article

References (17)

1. Adamski, M. (1991). Parallel controller implementation using standard PLD software. In: W. MOORE and W. LUK: 'FPGAs' (Abingdon EE & CS Books), edited paper from the international workshop on field programmable logic and applications. pp. 296-304.
2. Auguin, M., Boeri, F., & Andre, C. (1980). Systematic method of realization of interpreted Petri nets. Digit. Process, 6, 55-68.
3. Biliński, K, Saul, J.M., & Dagless, E.L. (1995). Efficient functional verification algorithm for petri-net-based parallel controller design. IEE Proc.-Comput. Digit. Tech. 142(4), 255-262.
4. Biliński, K, Adamski, M., Saul, J.M., & Dagless, E. L. (1994). Petri-net-based algorithm for parallel-cotroller synthesis. IEE Proc.-Comput. Digit. Tech. 141(6), 405-412.
5. Briz, J.L., Colom, J.M., & Silva, M. (1994). Simulation of Petri nets and linear enabling functions. In: IEEE International Conference on System, Man and Cybernetics. San Antonio, USA, pp. 210-226.
6. Chang, Naehyuck, Jaehyun Park & Wook Hyun Kwon (1996). FPGA-base implementation of synchronous Petri nets. In: IEEE Proceedings of IECON'96. Vol. 1. Taipei, Taiwan, pp. 451-456.
7. Colom, J.M., Silva, M., & Villarroel, J.L. (1986). On software implementation of Petri Nets and Colored Petri Nets using high level concurrent languages. In: Proceedings of 7th European Workshop and Application and Theory of Petri nets. pp. 207-241.
8. David, Rene & Hassane Alla (1992). Petri Nets and Grafcet. Prentice Hall Inc.. Englewood Cliffs, NJ 07632.
9. Hendry, D.C. (1994). Heterogeneous petri net methodlolgy for design of complex controllers. IEE Proc. Comput. Digt. Tech. 141(5), 293-297.
10. Kozlowski, T, Dagless, E.L. Saul, J.M. Adamski, M., & Szajna, J. (1995). Parallel controller synthesis using petri nets. IEE Proc.-Comput. Digit. Tech. 142(4), 263-271.
11. Murakoshi Hideki, Miki sugiyama, Guojun Ding, Tatsuya Oumi, Takashi Sekiguchi & Yasunori Dohi (1991). A high speed programmable controller based on Petri net. In: Proceedings of IECON '91, pp. 1966-1971.
12. Mutrata Tadao (1989). Petri nets: properties, analysis and applications. Proceedings of IEEE, 77(4), 541-580.
13. Pardey, J., & Bolton, M. (1991). Logic synthesis of synchronous parallel controllers. In: Proceedings of the IEEE International Conference on Computer Design, pp. 454-547.
14. Silva, M., & Velilla, S. (1982). Programmable logic controllers and Petri Nets: A comparative study. In: Proceedings of the Third IFAC/IFIP Symposium, pp. 83-88.
15. Stefano, A. Di & Mirabella, O. (1991). A fast sequence control device based on enhanced Petri nets. Microprocessors and Microsystems 15(4), 179-186.
16. Valette, R., Courvoisier, J.M., Bigou, J.M., & Alburquerque (1983). A Petri net based programmable logic controller. In: Proceedings of the IFIP conference on Computer Application s on Production and Engineering (CAPE), pp. 103-116.
17. Warwick, K. (1991). A fault tolerant control scheme. In: Failsafe Control Systems. Chapman and Hall, pp. 47-55.