山口県大学共同リポジトリ

Multi-car multi-shaft elevator system design problem and a solution method using CPN Tools

Information Volume 17 Issue 6 B pp. 2855 - 2863

published_at 2014-06

Creators : Yamaguchi Shingo Ishida Norihide Publishers : International Information Institute

On polynomial time checking on reachability in sound cyclic Well-Structured workflow nets

IEICE technical report Volume 113 Issue 421 pp. 47 - 52

published_at 2014-01-23

Creators : Qu Yuan Yamaguchi Shingo Publishers : 電子情報通信学会

A polynomial time conversion method of footprints from structure of workflow Nets and its application

IEICE technical report Volume 113 Issue 421 pp. 35 - 40

published_at 2014-01-23

Creators : Nishi Sohma Yamaguchi Shingo Publishers : 電子情報通信学会

On polynomial time checking on reachability in sound extended free-choice workflow nets

電子情報通信学会技術研究報告. MSS, システム数理と応用 Volume 112 Issue 383 pp. 17 - 21

published_at 2013-01-15

Creators : Kanoh Daiki Yamaguchi Shingo Publishers : 電子情報通信学会

Polynomial time verification of reachability in sound extended free-choice workflow nets

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Volume E97-A Issue 2 pp. 468 - 475

published_at 2014

Creators : Yamaguchi Shingo Publishers : 電子情報通信学会

Reduction operators based on behavioral inheritance for timed Petri nets

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Volume E97-A Issue 2 pp. 484 - 489

published_at 2014

Creators : Toyoshima Ichiro Nakano Shota Yamaguchi Shingo Publishers : 電子情報通信学会

IT engineers' fundamental competencies training course developed through industry-academic collaboration in Yamaguchi University

Journal of JSEE Volume 61 Issue 4 pp. 4_125 - 4_130

published_at 2013

Creators : 山口真悟田村慶信河村圭浜本義彦今村哲也津村利幸吉田尚大島信幸 Publishers : 日本工学教育協会

A consideration of state counting problem of petri nets

Proceedings of the ... Society Conference of IEICE / the Institute of Electronics, Infromation and Communication Engineers Volume 2012 pp. 146 - 146

published_at 2012-08-28

Creators : Susaki Takeshi Yamaguchi Shingo Publishers : 電子情報通信学会

On Extension and Soundness of Acyclic Well-Structured Work

電子情報通信学会技術研究報告 Volume 112 Issue 274 pp. 75 - 79

published_at 2012-11-01

Creators : 呉歓山口真悟

Polynomial time verification of protocol inheritance between acyclic extended free-choice workflow nets and their subnets

IEICE transactions on fundamentals of electronics, communications and computer sciences Volume E96-A Issue 2 pp. 505 - 513

published_at 2013-02

Creators : Yamaguchi Shingo Hirakawa Tomohiro Publishers : 電子情報通信学会

ペトリネットの状態数の多項式時間計算について : 有界性と入れ子構造を活用したアプローチ

情報処理学会研究報告. AL, アルゴリズム研究会報告 Volume 2012-AL-142 Issue 3 pp. 1 - 6

published_at 2012-10-26

Creators : 洲崎武史山口真悟 Publishers : 情報処理学会

On compact transformation of timed petri nets to timed automata

電子情報通信学会総合大会講演論文集 Volume 2012 pp. 206 - 206

published_at 2012-03-06

Creators : Yamaguchi Shingo Nakano Shota Publishers : 電子情報通信学会

An efficient translation method from timed petri nets to timed automata

IEICE transactions on fundamentals of electronics, communications and computer sciences Volume E95-A Issue 8 pp. 1402 - 1411

published_at 2012-08

Creators : Nakano Shota Yamaguchi Shingo Publishers : Institute of Electronics, Information and Communication Engineers

On polynomial time verification of protocol inheritance between extended free choice workflow nets and their subnets

電子情報通信学会技術研究報告. MSS, システム数理と応用 : IEICE technical report Volume 111 Issue 405(MSS2011 54-71) pp. 33 - 38

published_at 2012-01-19

Creators : Hirakawa Tomohiro Yamaguchi Shingo Publishers : 電子情報通信学会

A modeling method of single-car multi-shaft elevator systems on CPN tools and its application

IEICE technical report Volume 111 Issue 453(MSS2011 72-87) pp. 41 - 46

published_at 2012-03-01

Creators : Ishida Norihide Yamaguchi Shingo Ueda Ryohei Publishers : 電子情報通信学会

A translator of C to petri net markup language C2PNML and its application examples

IEICE technical report Volume 111 Issue 453(MSS2011 72-87) pp. 35 - 40

published_at 2012-03-01

Creators : Taniguchi Hiroaki Yamaguchi Shingo Susaki Takeshi Publishers : 電子情報通信学会

Refactoring problem of acyclic extended free-choice workflow nets to acyclic well-structured workflow nets

IEICE transactions on information and systems Volume E95-D Issue 5 pp. 1375 - 1379

published_at 2012-05

Creators : Yamaguchi Shingo Publishers : Institute of Electronics, Information and Communication Engineers

Construction of risk pattern base and its application to risk identification in a practical class on project-based development

プロジェクトマネジメント学会誌 Volume 13 Issue 4 pp. 14 - 19

published_at 2011-08-15

Creators : Uranaka Yuya Yamaguchi Shingo Maruyama Yuya Publishers : プロジェクトマネジメント学会

Realization of iconic workspace

Memoirs of the Faculty of Engineering, Yamaguchi University Volume 44 Issue 1 pp. 167 - 174

published_at 1993-10

Creators : Yamaguchi Shingo Nishimura Yoshihito Tanaka Minoru Publishers : 山口大学工学部

WORKFLOW MANAGEMENT AND EXCEPTION HANDLING BASED ON ORGANIZATION MODEL

Memoirs of the Faculty of Engineering, Yamaguchi University Volume 49 Issue 1 pp. 113 - 120

published_at 1998

Creators : Yamaguchi Shingo Morita Satoru Tanaka Minoru Publishers : 山口大学工学部

A Method for Assembling Workflow from Workflow Components

Memoirs of the Faculty of Engineering, Yamaguchi University Volume 49 Issue 2 pp. 261 - 266

published_at 1999

Creators : Yamaguchi Shingo Tanaka Minoru Publishers : 山口大学工学部

A Study of Cube World with Information

Memoirs of the Faculty of Engineering, Yamaguchi University Volume 50 Issue 2 pp. 143 - 148

published_at 2000-03

Creators : Ishihara Makio Tanaka Minoru Yamaguchi Shingo Publishers : 山口大学工学部