Art

J-GLOBAL ID：201102226053471445   Reference number：11A1932437

与えられた動作を行う条件/事象ネットの最小実現

Author (5)： HASHIZUME SUSUMU (名古屋大 大学院工学研究科) ,  UENO HIROAKI (名古屋大 大学院工学研究科) ,  HASHIZUME SATORU (名古屋大 大学院工学研究科) ,  YAJIMA TOMOYUKI (名古屋大 大学院工学研究科) ,  ONOGI KATSUAKI (名古屋大 大学院工学研究科)
Material： 電子情報通信学会論文誌 A  (IEICE Transaction on Fundamentals of Electronics, Communications and Computer Sciences (Japan Edition))
Volume： J94-A  Issue： 12  Page： 912-922  Publication year： Dec. 01, 2011 
JST Material Number： S0621A  ISSN： 0913-5707  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： Petri net ,  *discrete system ,  *minimum realization ,  *network ,  system model ,  language
Semi thesaurus term： *条件/事象ネット ,  半言語 ,  *Discrete Event System

JST classification (2)： System design and analysis  (IA02030D) ,  Network methods  (KA03040X)

Reference (19)：

• P. J. G. Rarnadge and W. M. Wonham,“The control of discrete event systems,” Proc. IEEE, vol.77, no.1, pp. 81-98, 1989.
• A. Sanchez,“Formal specification and synthesis of procedural controllers for process systems,” Lecture Notes in Control and Information Sciences 212, Springer-Verlag, London, 1996.
• A. Giva and F. DiCesare,“Petri net structural analysis for supervisory control,” IEEE Trans. Robot. Autom., vol.10, no.2, pp. 185-195, 1994.
• J. O. Moody and P. J. Antsaklis, Supervisory Control of Discrete Event Systems Using Petri Nets, Kluwer Academic Publishers, Boston, 1998.
• C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems 2nd ed., Springer, New York, 2008

Terms in the title (3)： 事象 ,  ネット ,  最小実現