抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ビジネスプロセスモデリング表記法(BPMN)は,ビジネスプロセス(BP)を記述する簡潔に包括的な能力を提供するが,得られたモデルを評価することは困難である,いくつかの証明とシミュレーション施設であるのが使えるからである。BPは時間制約に含まれている場合にこの問題が重要になってくる,それらの挙動は通常のBPよりもはるかに複雑である。本論文では,時間依存ビジネスプロセスを評価するための色付きペトリネット(CPN)ベースアプローチを提案した。このアプローチでは,BPMNモデルは,CPNツールを用いて妥当性を評価するためのCPNモデルに変換した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】