文献

J-GLOBAL ID：200902118565107464   整理番号：94A0639502

高水準ペトリネットによるソフトウェア開発方法論

Software Development Methodologies Based on High-Level Petri Nets.

著者 (3件)： 青山幹雄 (富士通) ,  平石邦彦 (北陸先端科学技術大学院大) ,  内平直志 (東芝 研開セ)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 11  号： 4  ページ： 259-275  発行年： 1994年07月 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 高水準ペトリネットは,トークンにデータ型を導入することにより...

シソーラス用語： Petriネット ,...
準シソーラス用語： カラーPetriネット

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

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (31件)：

• M. AKATSU, M. Verification of Error Recovery Specification for Distributer Data by Using Colored Pstri Nets. IEICE Trans. Fundamentals. 1991, E74-A, 10, 3159-3167
• AOYAMA, M. A Petri Net Baased Platform for Developing Communication Software Systems. IEICE Trans. Fundamentals. 1992, E75-A, 10, 1348-1359
• 青山幹雄. 分散処理システムの開発とネット理論. 情報処理. 1993, 34, 6, 731-1359
• 青山幹雄. チュートリアル:ソフトウェア設計者のためのペトリネット道場. 1993
• AOYAMA, M. Petri Net Based Development Methodology for Distributed Systems. IEICE Trans. Fundamentals. 1993, E76-A, 10, 1567-1579

タイトルに関連する用語 (2件)： ペトリネット ,  ソフトウェア開発方法論