Factory automation control software designing method based on Petri nets

International Journal of Production Research

Volumn 40, Issue 15 SPEC., 2002, Pages 3605-3625

  Kurihara, K ^a   Takigawa, S ^a   Nishiuchi, N ^a   Kitaoka, M ^a  

^a KANAGAWA UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; COMPUTER HARDWARE; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; PETRI NETS; SOFTWARE ENGINEERING;

FACTORY AUTOMATION CONTROL SOFTWARE; STRUCTURED AND HIERARCHICAL NETWORK;

FACTORY AUTOMATION;

EID: 0037109615     PISSN: 00207543     EISSN: None     Source Type: Journal    
DOI: 10.1080/00207540210136450     Document Type: Article

References (6)

1. Kurihara, K., Takigawa, S. and Nishiuchi, N., 2000, New structured hierarchical network model for designing FA control system. (Proceedings of IEEE International Conference on Systems, Man, and Cybernetics [CD-ROM], pp. 3104-3109.
2. Levi, S. T. and Agrawala, A. K., 1990, Real-Time System Design (New York: McGraw-Hill).
3. Murata, T., Komoda, N., Matsumoto, K. and Haruna, K., 1986, A Petri net based controller for flexible and maintainable sequence control and its application in factory automation. IEEE Transactions on Industrial Electronics, 33, 1-8.
4. Murata, T., Kurihara, K. and Akatsu, M., 1993 Design method for real-time systems based on objects and structured state-transition diagrams'. In Modern Tools for Manufacturing Systems (Amsterdam: Elsevier), pp. 219-235.
5. Petri, C., 1962, Fundamentals of a theory of asynchronous information flow. Information Processing '62, Prodeedings of the 1962 IFIP Congress, pp. 386-390.
6. Wu, C. and Lee, S., 1997, Enhanced high-level Petri nets with multiple colors for knowledge verification/validation of rule-based expert systems. IEEE Transactions on Systems, Man and Cybernetics, 27. 760-773.