文献

J-GLOBAL ID：200902120572230454   整理番号：93A0653065

色付きPetriネットにおける構造的デッドロック検出のための効率的アルゴリズム

An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets.

著者 (3件)： BARKAOUI K (Conservatoire National des Arts et Metiers, Paris, FRA) ,  DUTHEILLET C (Univ. P.&M. Curie, Paris, FRA) ,  HADDAD S (Univ. P.&M. Curie, Paris, FRA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 691  ページ： 69-88  発行年： 1993年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： Petriネットの構造的デッドロック検出アルゴリズムを拡張し...

シソーラス用語： Petriネット ,...
準シソーラス用語： 色付きPetriネット ,...

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=93A0653065&from=J-GLOBAL&jstjournalNo=H0078D") }}

分類 (2件)： グラフ理論基礎  (IA02020S) ,  オペレーティングシステム  (JD03020J)

タイトルに関連する用語 (3件)： 色付きPetriネット ,  デッドロック検出 ,  効率的アルゴリズム