Art

J-GLOBAL ID：200902139159247325   Reference number：01A1064748

Concunrrent Systems Technology. Experimental Evaluation of Two Algorithms for Computing Petri Net Invariants.

ペトリネット不変量を計算するための二つのアルゴリズムの実験的評価

Author (4)： TAKANO K (Hiroshima Univ., Higashihiroshima-shi, JPN) ,  TAOKA S (Hiroshima Univ., Higashihiroshima-shi, JPN) ,  YAMAUCHI M (Kinki Univ., Higashihiroshima-shi, JPN) ,  WATANABE T (Hiroshima Univ., Higashihiroshima-shi, JPN)
Material： IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers)  (IEICE Trans Fundam Electron Commun Comput Sci (Inst Electron Inf Commun Eng))
Volume： E84-A  Issue： 11  Page： 2871-2880  Publication year： Nov. 01, 2001 
JST Material Number： F0699C  ISSN： 0916-8508  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *Petri net ,...

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

JST classification (2)： Basics of graph theory  (IA02020S) ,  System models  (IB02000Z)

Reference (14)：

• MURATA, T. Petri nets: Properties, analysis and applications. Proc. IEEE. 1989, 77, 4, 541-580
• ONAGA, K. Basic properties of Petri net invariants and their computation. Petri Nets and their Application. 1992, 41-64
• MARTINEZ, J. A simple and fast algorithm to obtain all invariants of a generalized Petri net. Fachberichte Informatik. 1982, 52, 301-310
• SILVA, M. Convex geometry and semilows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. Advances in Petri Nets 1990. 1991, 79-112
• SARKAR, D. A new methodology for analyzing distributed systems modeled by Petri nets. International Journal of Computer Mathematics. 1989, 31, 3/4, 153-165

Terms in the title (6)： ペトリネット ,  不変量 ,  計算 ,  アルゴリズム ,  実験 ,  評価