| + |
P U B L I C A T I O N S |
Refereed Papers
- C. Li, S. Suzuki, Q.W. Ge, M. Nakata, H. Matsuno and S. Miyano:
"Structural Modeling and Analysis of Signaling Pathways Based on Petri Nets,"
Journal of Bioinformatics and Computational Biology (JBCB), 4(5), 1119-1140, 2006.
- C. Li, Q.W. Ge, M. Nakata, H. Matsuno and S. Miyano:
"Modeling and Simulation of Signal Transductions in an Apoptosis Pathway
by Using Timed Petri Nets,"
Journal of Biosciences, 2006 (to appear).
- S. Yamaguchi, K. Miyauchi, Q.W. Ge and M. Tanaka:
"Performance Evaluation on Worst Change Time of Flush and SCO Dynamic
Changes for State Machine WF-Nets Date of Evaluation,"
IEICE Trans. Fundamentals, vol.E89-A, no.6, pp.1701-1704 (2006)
- S. Yamaguchi, T. Takai, Q.W. Ge, M. Tanaka:
"Evaluation of PARAdeg of Acyclic Structured Program Nets," Proc.ITC-CSCC2006,
vol.3, pp.453-456 (2006).
- S. Yamaguchi, Y. Kaneko, Q.W. Ge, M. Tanaka:
"On Parallel Degree of Sound Workflow Nets," Proc.ITC-CSCC2006,
vol.3, pp.457-460, 2006.
- S. Yamaguchi, K. YAMADA, Q.W. Ge and M. Tanaka:
"Dead Problem of Program Nets," IEICE Trans. Fundamentals, vol.E89-A,
no.4, pp.887-894 (2006)
- 山口, 松尾, 葛, 田中:
"インターワークフローネットモデルとその健全性について," 第19回回路とシステム軽井沢ワークショップ,
pp.289-294 (2006.04)
- Q.W. Ge, C. Li and M. Nakata:
"Performance Evaluation of a Two-Processor Scheduling Method for SWITCH-less
Program Nets,"
IEICE Trans. Fundamentals, vol.E88-A, no.6, pp.1502-1506 (2005)
- S. Yamaguchi, A. Mishima, Q.W. GE and M. Tanaka:
"A Flexible and Efficient Workflow Change Type: Selective Shift,"
IEICE Trans. Fundamentals, vol.E88-A, no.6, pp.1487-1496 (2005)
- S. Yamaguchi, K. Miyauchi, Q.W. GE, and M. Tanaka:
"On Computation of Worst Change Time for Dynamic Change of State Machine
Workflow Nets,"
Proceeding of ITC-CSCC2005, pp.1135−1136 (2005.07)
- Q.W. Ge, T. Fukunaga and M. Tanaka:
"On Generating Elementary T-invariants of Petri Nets by Linear Programming,"
Proceeding of ISCAS2005, pp.168-171 (2005)
- C. Li, S. Suzuki, Q.W. Ge, M. Nakata, H. Matsuno and S. Miyano:
"On Modeling and Analyzing Signaling Pathways with Inhibitory Interactions
Based on Petri Nets,"
Proceeding of BIOINFO 2005, pp.348-353 (2005)
- S. Yamaguchi, K. Yamada, Q.W. Ge and M. Tanaka:
"On Computation Complexity of Dead Problem for Program Nets,''
The 18-th Workshop on Circuit and Systems in Karuizawa, pp.631-636 (2005)
- S. Yamaguchi, K. Kuniyoshi, Q.W. Ge and M. Tanaka:
"Computation Methods of Maximum Throughput for MG/SMWF-Nets with Conflict-Free
Resources,''
IEICE Trans. Fundamentals, vol.E87-A, no.11, pp.2868-2877 (2004)
- Q.W. Ge, C. Li and M. Nakata:
"A New Proposal to Two-Processor Scheduling Problem for SWITCH-less Program Nets,''
IEICE Trans. Fundamentals, vol.E87-A, no.11, pp.2859-2867 (2004)
- S. Yamaguchi, K. Yamada, Q.W. Ge and M. Tanaka:
"tate Equation of Program Nets and Its Application to ReachabilityAnalysis
for SWITCH-less Nets,"
Information: An International Journal, vol.7, no.4, pp.515-526 (2004)
- Q.W. Ge, C.Li and M.Nakata:
"On Evaluation of a New Priority List for Two-Processor Scheduling
Problems of Program Nets ,''
Proceeding of ITC-CSCC2004, pp. 7E3L-2-1 - 7E3L-2-4 (2004)
- S.Yamaguchi, A.Mishima, Q.W. Ge, and M.Tanaka:
"A Proposal of a Flexible and Efficient Workflow Change Type: Selective
Shift,"
Proceeding of ITC-CSCC2004, pp. 7E3L-6-1 - 7E3L-6-4 (2004)
- A.Mishima, S.Yamaguchi, Q.W. Ge and M.Tanaka:
"Evaluation Method of Change Time for Migrate Dynamic Workflow Changes,''
Thammasat Int. J. Sc. Tech., vol.7, no.3, pp.58-69 (2003)
- M.Nakata, Q.W. Ge, T.Hochin and T.Tsuji:
"An Extension to DREAM Model based Dynamic Schema for Semi-structured
Data,''
Thammasat Int. J. Sc. Tech., vol.7, no.3, pp.40-48 (2003)
- S.Yamaguchi, A. Mishima, Q.W. Ge and M.Tanaka:
"Modeling and Performance Evaluation on Change Time for Migrate Dynamic
Workflow Changes,''
IEICE Trans. Fundamentals, vol.E86-A, no.6, pp.1466-1475 (2003)
- Q.W. Ge, T.Fukunaga, M.Nakata and R.Wu:
"A Method to Generate Encryption Keys of Public-Key Cryptography MEPKC
by Applying Linear Programming Technique,''
Proceeding of ITC-CSCC2003, pp. 1759-1762 (2003)
- S.Yamaguchi, K.Yamada, Q.W. Ge and M.Tanaka:
"State Equation of Program Nets and Its Application to Verifying Token
Self-Cleanness of Acyclic SWITCH-less Nets,''
The 16-th Workshop on Circuit and Systems in Karuizawa, pp.477-482 (2003)
- 中田、 大鶴、 葛、 吉村:
"万葉集検索システムにおける異訓情報の生成法について,'' 第16回回路とシステム(軽井沢)ワークショップ論文集,
pp.225-230 (2003)
- Q.W. Ge:
"Properties of a Hybrid List Scheduling for a Class of Program Nets
Executed with Two Processors,''
Information: An International Journal, vol.5, no.1, pp.69-80 (2002)
- Q.W. Ge, C. Shigenaga, M. Nakata and R. Wu:
"On Encryption of a Petri Net based Multi-Stage-Encryption Public-Key
Cryptography,''
Proceeding of ITC-CSCC2002, pp. 975-978 (2002)
- M. Nakata, Q.W. Ge, T. Hochin and T. Tsuji:
"An Extended Dynamic Schema for Storing Semi-structured Data,''
Proceeding of ITC-CSCC2002, pp.301-304 (2002)
- S. Yamaguchi, A. Mishima, Q.W. Ge, and M. Tanaka:
"Computation of Change Time for Migrate Dynamic Workflow Changes,''
Proceeding of ITC-CSCC2002, pp. 955-958 (2002)
- Q.W. Ge:
"An Optimal Two-Processor Scheduling for a Class of SWITCH-less Program
Nets with Combined OR-nodes,''
IEICE Trans. Fundamentals, vol.E85-A, no.6, pp.1274-1280 (2002)
- S. Yamaguchi, M. Hattori, Q.W. Ge, and M. Tanaka:
"A Modeling Method Based on High-Level Petri Nets for Food Business
Workflows,''
Proceeding of ICFS2002, pp. S5-31 - S5-36 (2002)
- Q.W. Ge, C. Shigenaga, and R. Wu:
"A Petri Net based New Conception of Public-Key Cryptography,''
Proceeding of ICFS2002, pp. S5-37 -- S5-42 (2002)
- M. Nakata, M. Yoshimura and Q.W. Ge:
"A Database System Designing Method for Japanese Poems Manyo-Shu,''
Proceeding of ICFS2002, pp.S5-43 - S5-48 (2002)
- Q.W. Ge and Y. Sugimoto:
"A Computation Method of LSN for Extended 2-b-SPGs,''
IEICE Trans. Fundamentals, vol.E84-A, no.11, pp.2838-2851 (2001)
- S. Yamaguchi, Y. Shiode, Q.W. Ge and M. Tanaka:
"Performance Evaluation on Transient Time of Dynamic Workflow Changes,''
IEICE Trans. Fundamentals, vol.E84-A, no.11, pp.2852-2864 (2001)
- 山口, 葛, 田中:
"ペトリネットによるワークフローのモデル化と解析,'' システム/制御/情報,
vol.45, no.8, pp.480-489 (2001)
- Q.W. Ge and A. Tanaka:
"A Two-Processor List Scheduling for a Class of Program Nets with
Combined OR-nodes,''
Proceeding of ITC-CSCC'2001, pp.136-139 (2001)
- S. Yamaguchi, Y. Shiode, Q.W. Ge and M. Tanaka:
"Computation of Transient Times for Flush and Abort Dynamic Workflow
Changes,''
Proceeding of ITC-CSCC'2001, pp.132-135 (2001)
- Q.W. Ge and T. Okamoto:
"A Petri Net based Public-Key Cryptography: PNPKC,''
IEICE Trans. Fundamentals, vol.E84-A, no.6, pp.1532-1635 (2001)
- Q.W. Ge and A. Tanaka:
"On Optimality of a Two-Processor Scheduling for Program Nets with
Combined OR-Nodes,''
IEEE Proceeding of ISCAS'2001 (CD-ROM Ver.), pp.III-644 - III-647 (2001)
- Q.W. Ge and A. Tanaka:
"An Effective Dynamic Priority List for 2-Processor Scheduling of
Program Nets,''
IEICE Trans. Fundamentals, vol.E84-A, no.3, pp.755-762 (2001)
- S. Yamaguchi, Q.W. Ge and M. Tanaka:
"Performance Evaluation on Change Time of Dynamic Workflow Changes,''
IEICE Trans. Fundamentals, vol.E83-A, no.11, pp.2177-2187 (2000)
- Q.W. Ge and T. Okamoto:
"A Fast Public-Key Cryptography Using RSA and T-invariants of Petri
Nets,''
Proceeding of ITC-CSCC'2000, pp.669-672 (2000)
- S. Yamaguchi, Q.W. Ge and M. Tanaka:
"Methods of Computing Change Times of Dynamic Workflow Changes,''
Proceeding of ITC-CSCC'2000, pp.645-648 (2000)
- N. Nakayama, S. Yamaguchi, Q.W. Ge and M. Tanaka:
"Performance Evaluation on Throughput of a Petri Net Modeled Food
Business,''
Proceeding of ITC-CSCC'2000, pp.661-664 (2000)
- Q.W. Ge and K.Onaga:
"Evaluation of PARAdeg of Acyclic SWITCH-less Program Nets,''
IEICE Trans. Fundamentals, vol.E83-A, no.6, pp.1186-1191 (2000)
- Q.W. Ge and A. Tanaka:
"Verification of Effectiveness of Hybrid Priority Lists Applied in
2-Processor Scheduling of Program nets,''
The 13-th Workshop on Circuit and Systems in Karuizawa, pp.585-589 (2000)
- Q.W. Ge:
"Two-Processor Scheduling of General Acyclic SWITCH-less Program Nets
via Hybrid Priority Lists,''
IEICE Trans. Fundamentals, vol.E83-A, no.3, pp.471-479 (2000)
- Q.W. Ge:
"A Two-Processor Scheduling Method for a Class of Program Nets with
Unity Node Firing Time,''
IEICE Trans. Fundamentals, vol.E82-A, no.11, pp.2579-2583 (1999)
- Q.W. Ge:
"PARAdeg-Processor Scheduling for Acyclic SWITCH-less Program Nets,''
J. Franklin Institute, vol.336, no.7, pp.1135-1153 (1999)
- Q.W. Ge and K.Onaga:
"On Reasonability of PARAdeg of Acyclic SWITCH-less Program Nets,''
Proceeding of ITC-CSCC'99, pp.1144-1147 (1999)
- Q.W. Ge and N. Yoshioka:
"An Optimal Two-Processor Scheduling for a Class of Program Nets via
Hybrid Priority List,''
Trans. IPS. Japan, vol.40, no.5, pp.2064-2071 (1999)
- Q.W. Ge:
"Two-Processor Scheduling for Acyclic SWITCH-less Program Nets with
Random Node Firing Times,''
The 12-th Workshop on Circuit and Systems in Karuizawa, pp.207-212 (1999)
- Q.W. Ge, H. Yanagida and K. Onaga:
"Computation of Minimum Firing Time for General Self-Cleaning SWITCH-less
Program Nets,''
IEICE Trans. Fundamentals, vol.E81-A, no.6, pp.1072-1078 (1998)
- Q.W. Ge and H. Yanagida:
"A Method of Computing Minimum Firing Time for Self-Cleaning SWITCH-less
Program Nets,''
J. Franklin Institute, vol.335B, no.5, pp.877-895 (1998)
- Q.W. Ge:
"On Multiprocessor Scheduling of Acyclic SWITCH-less Program Nets,''
The 11-th Workshop on Circuit and Systems in Karuizawa, pp.499-504 (1998)
- Q.W. Ge, H. Yanagida and K. Onaga:
"Computation of Minimum Firing Time of Self-Cleaning SWITCH-less Program
Nets via Node Contraction,''
Proceeding of ITC-CSCC'97, pp.1083-1086 (1997)
- Q.W. Ge and N.Yoshioka:
"A Method of Finding Legal Sequence Number for a Class of Extended
Series-Parallel Digraphs,''
IEICE Trans. Fundamentals, vol.E80-A, no.4, pp.635-642 (1997)
- Q.W. Ge and K. Onaga:
"On Verification of Token Self-cleanness of Data-Flow Program nets,''
IEICE Trans. Fundamentals, vol.E79, no.6, pp.812-817 (1996)
- Q.W. Ge and K. Onaga:
"On Verification of Token Self-cleanness of Data-Flow Program nets,''
Proc. of JTC-CSCC'95, pp.746-749 (1995)
- Q.W. Ge, T. Watanabe and K. Onaga:
"Analysis of Parallelism in Autonomous Execution of Data-flow Program
Nets,''
IEICE Trans. Fundamentals, vol.E74, no.10, pp.3008-3017 (1991)
- Q.W. Ge, T. Watanabe and K. Onaga:
"Execution Termination and Computation Determinacy of Data-flow Program
nets,''
J. the Franklin Institute, 328, 1, pp.123-141 (1991)
- Q.W. Ge, T. Watanabe and K. Onaga:
"Topological Analysis of Firing Activities of Data-flow Program Net,''
IEICE Trans. Fundamentals, vol.E73, no.7, pp.1215-1224 (1990)
- Q.W. Ge, T. Watanabe and K. Onaga:
"Analysis of Parallelism in Autonomous Execution of Data-flow
Program Nets,'' Proc. of JTC-CSCC'90, pp.542-547 (1990)
- Q.W. Ge, T. Watanabe and K. Onaga:
"Topological Analysis of Firing Activities of Data-flow Program Nets,''
Proc. of ICCAS'89, pp.961-964 (1989)
- K. Onaga, Q.W. Ge and N. Ono:
"On Optimizing the Initial Token Distribution for a Periodic Petri
Net Firing Sequence with Prescribed Firing Numbers,'' Trans. of SICE, vol.23,
no.10, pp.74-81 (1987)
- Q.W. Ge, T. Tanida, N. Ono and K. Onaga:
"Construction of a T-base and Design of a Periodic Firing Sequence
of a Live and Bounded Petri Net,''
Proc. of 25th Annual Allerton Conference on Communication, Control and
Computing, pp.305-314 (1987)
- Q.W. Ge, N. Ono and K. Onaga:
"Firing Activity and Well-behavedness of Data-flow Program Nets,''
Proc. of COMPSAC'87, pp.707-713 (1987)
- 翁長, 葛:
"ペトリネットの T-invariance の構造的解析,'' 電子情報通信学会論文誌
'87/2 vol.J70-A no.2, pp.185-194 (1987)
Nonrefereed papers
- 養畑, 葛, 中田, 斗納:
"マルチプロセッサシステムのための複数の静的優先リストを用いた動的スケジューリング手法の提案,''
電子情報通信学会信学技報, vol.106, no.180 (CST2006-12), pp.13-18 (2006)
- 宮内, 山口, 葛, 田中:
"状態機械ワークフローネットのAbort型動的変更に対する最悪変更時間の計算複雑さと性能解析について,''
電子情報通信学会信学技報, vol.106, no.180 (CST2007-17), pp.43-48 (2006)
- 金子, 山口, 葛, 田中:
"ワークフローネットの健全性と並列度について,''
電子情報通信学会信学技報, vol.105, no.573 (CST2005-41), pp.13-18 (2006)
- 村上, 葛,中田:
"公開鍵暗号システムMEPKCにおける鍵生成器の作成について,''
電子情報通信学会信学技報, vol.105, no.573 (CST2005-42), pp.19-24 (2006)
- 雷, 葛,中田,斗納:
"モジュール合成を用いたソフトウェア設計における仕様の充足性検証に関する考察,''
電子情報通信学会信学技報, vol.105, no.573 (CST2005-43), pp.25-30 (2006)
- 鈴木, 李, 葛, 中田, 松野, 宮野:
"T-インバリアントによるシグナル伝達経路の構造表現,"
電子情報通信学会信学技報, CAS2005-62, CST2005-31, pp.7-12, 2005-11
- 雷, 中村, 葛:
"学校向けネットワークの簡易な構築法,'' 山口大学教育学部附属教育実践綜合センター研究紀要第20号,
pp.203-213 (Sept. 2005)
- T. Takai, S. Yamaguchi, Q.W. Ge and M. Tanaka:
"On Approximate Computation of MaxPARAdeg for Acyclic Well-Structured
Data-Flow Program Nets,''
Technical Report of IEICE, vol.105, no.237 (CST2005-14), pp.1-6 (2005)
- 宮内, 山口, 葛, 田中:
"状態機械ワークフローのFlush, Abort, SCO方式による動的変更に対する最悪変更時間の計算について,''
電子情報通信学会信学技報, vol.104, no.593 (CST2004-45), pp.37-42 (2005)
- C. Li, S. Suzuki, Q.W. Ge, M. Nakata, H. Matsuno and S. Miyano:
"A New Proposal of Petri Net Based Formulation for Analyzing Signaling
Pathways,''
Technical Report of IEICE, vol.104, no.593 (CST2004-39), pp.1-6 (2005)
- T. Watanabe, S. Yamaguchi, Q.W. Ge and M. Tanaka:
"On Computation of PARAdeg of Data-Flow Program Nets with SWITCH-nodes,''
Technical Report of IEICE, vol.104, no.593 (CST2004-40), pp.7-12 (2005)
- T. Fukunaga , Q.W. Ge, M. Nakata:
"On Obtaining All the Elementary T-invariants Using Linear Programming,''
Technical Report of IEICE, vol.104, no.402 (CST2004-31), pp.59-64 (2004)
- 山田, 山口, 葛, 田中:
"プログラムネットの不活性について,'' 電子情報通信学会信学技報, vol.104,
no.402 (CST2004-32), pp.65-70 (2004)
- 山口, 国吉, 葛, 田中:
"競合なしリソース付きwell-structuredワークフローネットにおける最大スループットの計算について,''
電子情報通信学会信学技報, vol.104, no.402 (CST2004-33), pp.71-76 (2004)
- 中田, 葛, 吉村:
"キーワードおよびその連想語による文例の検索に関する考察,''
情報処理学会研究報告 vol.2004 no.7 (人文科学とコンピューター), pp.5-12
(2004)
- 呉、 葛:
"多人数情報処理教育講義における出席管理について,''
山口大学教育学部附属教育実践綜合センター研究紀要第17号, pp.1-9 (Mar.
2004)
- 山口,田中, 葛, 田中:
"リソース配置変更によるマークグラフワークフローネットの最大スループットの改善について,''
電子情報通信学会信学技報 vol.103, no.634 (CST2003-49), pp.41-46 (2004)
- 徳澤, 葛, 中田, 福永:
"デットライン付きタスクグラフにおけるスケジューリングの一手法,''
電子情報通信学会信学技報 vol.103, no.634 (CST2003-50), pp.47-50 (2004)
- 山田, 山口, 葛, 田中:
"データフロープログラムネットの標準形およびその表現力,'' 電子情報通信学会信学技報
vol.103, (CST2003-34), pp.5-10 (2003)
- 三島, 山口, 葛, 田中:
"柔軟なワークフロー動的変更を実現するための変更方式Selective Shiftの提案,''
電子情報通信学会信学技報, vol.103, no.247 (CST2003-11), pp.25-30 (2003)
- C. Li, Q.W. Ge and M. Nakata:
"A Proposal of New Priority List on Two-Processor Scheduling of Program
Nets,"
Technical Report of IEICE., CAS2003-88, CST2003-31, pp.23-28, 2003-11.
- 国吉, 山口, 葛, 田中:
"リソース付き状態機械ワークフローネットにおける最大スループットの計算について,''
電子情報通信学会信学技報 vol.103, no.105 (CST2003-3), pp.17-22 (2003)
- 山口, 山田, 葛, 田中:
"プログラムネットの状態方程式と非循環SWITCH-lessネットのSelf-Cleaness判定法への応用,''
電子情報通信学会信学技報 vol.102, no.589 (CST2002-45), pp.17-22 (2003)
- 山口, 国吉, 葛, 田中:
"ワークフローにおけるリソースの解析および最大スループットの算出について,''
電子情報通信学会信学技報 vol.102, no.426 (CST2002-29), pp.67-72 (2002)
- 李, 葛, 中田:
"2入力AND-nodeをもつSWITCH-lessプログラムネットの最適2-プロセッサスケジューリングに関する考察,''
電子情報通信学会信学技報 vol.102, no.426 (CST2002-30), pp.73-78 (2002)
- 川尻, 葛, 田中, 八木, 斗納:
"自動車制御システムにおけるマルチプロセッサスケジューリングについて,''
電子情報通信学会信学技報 vol.102, no.259, pp.7-10 (CST2002-11) (2002)
- 山口, 葛, 田中:
"ペトリネットのワークフローへの応用,''計測自動制御学会 第13回離散事象システム研究会講演論文集,
pp.9-16 (2002)
- 三島, 山口, 葛, 田中:
"動的ワークフロー変更のMigrate方式に対するモデル化と変更時間の計算,''
電子情報通信学会信学技報 vol.102, no.96 (CST2002-05), pp.9-12 (2002)
- 葛,嶋田,斗納:
"C言語プログラム解析システム,'' 山口大学教育学部附属教育実践綜合センター研究紀要第13号,
pp.237-251 (Nov. 2001)
- 山口, 服部, 葛, 田中:
"ハイレベル・ペトリネットによる飲食店業務のワークフローモデル化手法,''
電子情報通信学会信学技報 vol.101, no.458 (cas2001-68), pp.31-38 (2001)
- 中田, 吉村, 葛:
"データベース管理システムを用いた万葉集データベースの一構成法,''
情報処理学会研究報告 vol.2001 (人文科学とコンピューター-52-2), pp.9-16
(2001)
- 呉, 葛:
"公開鍵暗号の鍵生成におけるペトリネットの初等 T-invariant の活用について,''
電子情報通信学会信学技報 vol.101, no.212 (cst2001-15), pp.31-36 (2001)
- 重永, 葛:
"ペトリネットのみを利用した公開鍵暗号システムの一提案,''
電子情報通信学会信学技報 vol.101, no.89 (cst2001-05), pp.45-52 (2001)
- 安村, 山口, 葛, 田中, 部坂, 阿武:
"在宅医療サービスのためのマルチエージェントシステムについて,''
2001電子情報通信学総合大会講演論文集(基礎・境界), pp.487-488 (2001)
- 塩出, 山口, 葛, 田中:
"動的なワークフロー変更のフラッシュ方式とアボート方式に対する過渡時間による性能評価,''
電子情報通信学会信学技報 vol.100, no.571 (cst2000-37), pp.31-38 (2001)
- 嶋田, 葛:
"プログラムの構文チェックのためのデータ構造とアルゴリズム,''
情報処理学会研究報告 vol.2000, no.103 (2000-AL-75-1), pp.1-8 (2000)
- Y. Sugimoto and Q.W. Ge:
"On Complexity of Legal Sequence Number Problem and Computation Methodology
of Legal Sequence Number for Extended 2-b-SPGs,'' Technical Report of IEICE,
vol.100, no.415 (cas2000-61), pp.1-7 (2000)
- 上瀧, 山口, 葛, 田中:
"OR-node の瞬時発火規則に基づいたプログラムネットの2プロセッサスケジューリング,''
電子情報通信学会信学技報 vol.100, no.416 (cas2000-75,cst2000-30), pp.55-61
(2000)
- 嶋田, 葛:
"フローチャートと関数関連図によるプログラムの視覚化,''
電子情報通信学2000年総合大会講演論文集(基礎・境界), pp.444-445 (2000)
- 中山, 山口, 葛, 田中:
"階層化ペトリネットによる飲食店業務のワークフローモデリング,''
電子情報通信学2000年総合大会講演論文集(基礎・境界), pp.442-443 (2000)
- 山口, 葛, 中山, 田中:
"動的ワークフロー変更のSCO方式に関する性能評価,''
電子情報通信学会信学技報 vol.99, no.539 (cst99-62), pp.55-61 (2000)
- 岡本, 葛:
"ペトリネットを用いた公開鍵暗号システムについて,''
電子情報通信学会信学技報 vol.99, no.418 (cst99-40), pp.57-64 (1999)
- 山口, 葛, 田中:
"時間ペトリネットを用いたワークフローの動的変更の性能評価,''
電子情報通信学会信学技報 vol.99, no.418 (cst99-39), pp.41-48 (1999)
- 中山, 山口, 葛, 田中:
"カラーペトリネットによるワークフローのモデリングおよび評価,''
電子情報通信学会信学技報 vol.99, no.418 (cst99-38), pp.33-39 (1999)
- 田中, 葛:
"結合OR-nodeを含んだProgram Netの2プロセッサスケジューリングに関する考察,''
電子情報通信学基礎・境界ソサイエティ大会講演論文集, pp. 146 (1999)
- 葛, 田中:
"結合OR-nodeをもつプログラムネットの2プロセッサスケジューリングについて,''
電子情報通信学会信学技報, vol.99, no.206 (cst99-15), pp.29-35 (1999)
- 杉本, 木下, 葛:
"拡張2-b-SPGにおけるLSNの計算式及びその計算の効率化に関する考察,''
電子情報通信学会信学技報, vol.99, no.98 (cst99-4), pp.25-32 (1999)
- 葛, 木下, 杉本:
"拡張 2-b-SPG の Legal Sequence Number の計算法,''
電子情報通信学会信学技報, vol.98, no.565 (cst98-33), pp.31-38 (1999)
- 中山, 山口, 葛, 田中:
"ワークフロー改善のためのCPNモデルと変更知識に関する考察,''
平成11年度電気・情報関連学会中国支部連合大会, pp.345 (1999)
- L.Li and Q.W. Ge:
"A Parallel Algorithm for Solving the Two-Dimensional Implicit Diffusion
Difference Equations,''
Technical Report of IEICE, vol.98, no.371 (cst98-21), pp.25-29 (1998)
- Q.W. Ge and N. Yoshioka:
"On Hybrid List Scheduling of Acyclic SWITCH-less Program Nets Executed
with Two Processors,''
Technical Report of IEICE, vol.98, no.371, pp.17-24 (1998)
- Q.W. Ge and N. Yoshioka:
"Properties of a Two-Processor List Scheduling for Acyclic SWITCH-less
Program Nets,''
Technical Report of IEICE, vol.98, no.220 (cst98-17), pp.47 - 54 (1998)
- 吉岡, 葛:
"拡張2-b-SPGグラフにおけるLegal Sequence Number,''
情報処理学会第55回全国大会講演論文集, pp.1-93 - 1-94 (1997)
- 貞石, 葛, 斗納:
"C言語プログラム構造解析によるフローチャート,''
情報処理学会第55回全国大会講演論文集, pp.1-412 - 1-413 (1997)
- H.Yanagida and Q.W. Ge:
"PARAdeg Computation and Scheduling of Self-Cleaning SWITCH-less Program
Net,''
情報処理学会第53回全国大会講演論文集, pp.1-165 - 1-166 (1996)
- N.Yoshioka nd Q.W. Ge:
"A Method to Calculate Legal Sequence Number for Extended Series-Parallel
Digraphs,''
情報処理学会第53回全国大会講演論文集, pp.1-157 - 1-1158 (1996)
- Q.W. Ge, R. Wu and H. Yanagida:
"On Module Arrangement in Generating Assemble Programs via Directed
Graph,''
Bulletin of Faculty of Education, Yamaguchi University, vol. xlv, Pt.2,
pp.53-64(1995)
- 柳田、 葛:
"SWITCH-less Program Netにおける最小実行時間検出アルゴリズムの改良,''
平成7年度電気・情報関連学会中国支部第46回連合大会, pp.448-448 (1995)
- 葛,池添,斗納:
"自動車用電子制御機器プログラムの自動生成システム−APES,'' 富士通テン技報,vol.11,no.3,
pp.43-52 (Nov. 1993)
- Q.W. Ge, T.Watanabe and K.Onaga:
"Theoretic Evaluation of Parallelism Residing in Data-Flow Program
Nets,''
6th Workshop on Discrete Event Systems December 21-22, pp.47-54 (1990)
- Q.W. Ge, T.Watanabe and K.Onaga:
"On Structural Properties of Computation Determinacy and Token Self-cleanness
of Data-flow Program Nets,''
Tech. Research Reports, IEICE, Japan, vol.90, no.143, pp.25-30 (1990)
- Q.W. Ge, T.Watanabe and K.Onaga:
"Structural Analysis of Firing Termination of Conflict-free Petri
Nets,''
Proc. of SICE'89, pp.1009-1012 (1989)
- 小野,葛,翁長:
"データフロー・プログラムの Self-Cleaning Property とそのネット解析,''
昭63信学春季全大, Sa-2-2, pp.1-369 -- 1-370 (1988)
- 葛,谷田,翁長:
"ペトリネットの T-base 構築と周期発火系列の設計,'' 第8回数理計画シンポジウム,pp.51-57
(1987)
- 翁長, 葛,小野:
"有界、活性なペトリネットにおける周期発火系列の設計と初期マーキングの最適化,''
Proc. of SICE'87 pp.845-848 (1987)
- K.Onaga and Q.W. Ge:
"Structural Analysis of Petri Nets for T-invariance,'' Proc. of SICE'86,
pp.1071-1074 (1986)
- 葛,翁長:
"ペトリネットの構造と T-invariance について,'' 情報処理学会第33回(昭和61年後期)全国大会,
pp.41-41 (1986)
- 葛, 翁長:
"ペトリネットの堅結合性と T-invairance,'' ネット理論研究会, pp.152-160
(1986)
- 葛, 翁長:
"タイム・ペトリネット技法: INVARIANTを用いたスケジュールと性能の評価,''
昭61信学総全大, S7-6, pp.1-304 - 1-305 (1986)
Copyright 2006 Information Processing Laboratory, Faculty of Education, Yamaguchi University, Japan
|