Art

J-GLOBAL ID：200902034564042602   Reference number：90A0023615

Special issue on petri nets-model of discrete event system. Analysis of petri nets.

ミニ特集 ペトリネット-離散事象システムのモデル ペトリネットの理論的解析法

Author (1)： KODAMA SHINZO (大阪大 工)
Material： 計測と制御  (Journal of the Society of Instrument and Control Engineers)
Volume： 28  Issue： 9  Page： 751-759  Publication year： Sep. 1989 
JST Material Number： F0131A  ISSN： 0453-4662  CODEN： KESEA  Document type： Article
Article type： 解説  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： Petri net ,...

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=90A0023615&from=J-GLOBAL&jstjournalNo=F0131A") }}

JST classification (2)： Network methods  (KA03040X) ,  Basics of graph theory  (IA02020S)

Reference (21)：

• 1) T. Murata: Petri Nets, Properties, Analysis and Applications Proc. IEEE, 77-4, April (1989)
• 2) J. L. ピータースン, 市川, 小林 (訳): ペトリネット入門, 共立出版 (1984)
• 3) 上田, 柴田, 田中, 長谷川: T-invariant による通信システム用サービスの解析, 第2回ネット理論研究会, 11月 (1987)
• 4) W. ライシッヒ, 長谷川, 高橋 (訳): ペトリネット理論入門, シュプリンガーフェアラーク東京 (1988)
• 5) R. Valette and M. Diaz: Top-Down Formal Specification and Verification of Parallel Control Systems, Digital Processes, 4, 3 (1978)

Terms in the title (5)： ペトリネット ,  離散事象システム ,  モデル ,  理論 ,  解析法