時間制約付きカラーペトリネットで記述されたワークフローからのスケジュール導出

山口, 昭; 岡野, 浩三; 谷口, 健一

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 2002, 101(629), 23-30

アクセス数:570件（2025-07-16 11:00 集計）

固定URL: https://hdl.handle.net/11094/27444

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
itr101_629_023 pdf なし 727 KB 69 2014.04.11  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
時間制約付きカラーペトリネットで記述されたワークフローからのスケジュール導出
Deriving Work Schedules from Workflow Description in Coloured Petri-nets with Time Constraints
ジカン　セイヤク　ツキ　カラーペトリネット　デ　キジュツ　サレタ　ワークフロー　カラ　ノ　スケジュール　ドウシュツ
著者
著者名
山口, 昭 ; ヤマグチ, アキラ ; Yamaguchi, Akira
NRID
1000070252632 1000070252632
著者名
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000000029513 1000000029513
著者名
谷口, 健一 ; タニグチ, ケンイチ ; Taniguchi, Kenichi
キーワード等
コラボレートワーク
ワークフロー
時間ペトリネット
スケジュール導出
可到達解析
collaborate work
workflow
timed Petri-net
work schedules
reachability analysis
抄録
本研究ではワークフローを記述するための, 時間制約付きカラーペトリネットを提案する.この時間制約付きカラーペトリネットを用いて, 作業の中断再開およびそれにともなう経過累積作業時間を表現でき, 時間制約を持つグループワークを自然に表現することができる.また, コラボレートワークを行う各作業者向けのスケジュールを, 時間制約付きカラーペトリネットで記述されたグループ全体のワークフローから導出する方法を提案する.スケジュール導出は, ペトリネットの可到達木を作成して行う.提案する方式に基づくグループウェアの概要についても述べる.
This paper proposes coloured Petri-net model with time constraints suitable for describing workflows. Using the coloured Petri-net model with time constraints (timed CPN), we can represent suspend and resume of a task and elapse work time. We can, thus, naturally represent groupwork with time constraints. Also we give a method to derive each worker's work schedule from a workflow in our timed CPN. The method uses a reachability analysis of the nets. We also explain a simple groupware system using our approach.
出版者
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻(号)
101(629)
ページ
23-30
刊行年月
2002-01-23
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/27444
PISSN
09135685
NCID
AN10013287
アクセス権
open access
権利情報
Copyright © 2002 IEICE
本文データはCiNiiから複製したものである
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article