コンピューター用語辞典
marked graph
- 用例
- A Marked Graph is a pure (ordinary) Petri Net system where every place has only one input transition and one output transition.
マークグラフは, すべての場所が一つだけの入力遷移と一つだけの出力遷移とを持つとき, 純粋(正規)ペトリ・ネット系である. - problem of state explosion and computational complexity in solving marked graph Stochastic Petri Nets (SPNs)
マークグラフ確率論的ペトリネットを解く上での状態爆発と計算複雑性の問題
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能
過去に調べた単語を確認できる
語彙力診断
診断回数が4回に増加
マイ単語帳
便利な学習機能付き
マイ例文帳
文章で意味を理解できる
ウィキペディア英語版
出典：Wikipedia
Marked graph
出典:『Wikipedia』 (2010/04/18 07:05 UTC 版)
英語による解説
ウィキペディア英語版からの引用
- 引用
A marked graph is a Petri net in which every place has exactly one incoming arc, and exactly one outgoing arc. This means, that there can not be conflict, but there can be concurrency. Mathematically:
. Marked graphs are used mostly to mathematically represent concurrently running operations, such as a multiprocessor machine's internal process state.
- Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
- All Rights Reserved, Copyright © Japan Science and Technology Agency
- Copyright © 2026 CJKI. All Rights Reserved
- Wikipedia
- Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのMarked graph (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
