Factory automation control software designing method based on Petri nets

References

• KURIHARA , K. , TAKIGAWA , S and NISHIUCHI , N. New structured hierarchical network model for designing FA control system . Proceedings of IEEE International Conference on Systems, Man, and Cybernetics [CI)-ROM] . pp. 3104 – 3109 .
   Google Scholar
• LEVI , S.T and AGRAWALA , A.K. 1990 . Real-Time System Design , New York : McGraw-Hill .
   Google Scholar
• 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 .
   Web of Science ®Google Scholar
• 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 , 219 – 235 . Amsterdam : Elsevier .
   Google Scholar
• PETRI , C. Fundamentals of a theory of asynchronous information flow . Information Processing '62,Projectings of the 1962 IFIP Congress . pp. 386 – 390 .
   Google Scholar
• WU , C and LEE , S. 1997 . Enhanced high-level Petri nets with multiple colors for knowledge verification/validation of rule-based expert systems . IEEK Transactions on Systems, Man and Cybernetics , 27 : 760 – 773 .
   PubMed Web of Science ®Google Scholar