ペトリネット - Wikipedia
ペトリネット ペトリネット（英: Petri net）とは、カール・アダム・ペトリが1962年に発表した離散分散システムを数学的に表現する手法である。モデリング言語としては分散システムを注釈付の有向2部グラフとして視覚的に表現する。 ペトリネットは、視覚的、数学的な離散事象システムをモデル化するツールの一つであり、 名前は創始者のカール・アダム・ペトリに由来する。 有向2部グラフ で表現され、 頂点集合の2分割 がそれぞれ、 プレース（丸で表記）、トランジション（棒または箱で表記） という2種類のノードに対応する。 アーク (矢印で表記) は、プレースから出てトランジションに入るか、 トランジションから出てプレースに入る。 あるプレース に対し、非負整数 が割り当てられたとき、 プレース は 個のトークンでマーキングされていると言い、 このときトークンはプレース 内の 個の点として図示され
NuSMV home page
NuSMV: a new symbolic model checker NuSMV is a symbolic model checker developed as a joint project between: The Embedded Systems Unit in the Digital Industry Center at FBK-IRST The Model Checking group at Carnegie Mellon University, the Mechanized Reasoning Group at University of Genova The Mechanized Reasoning Group at University of Trento. NuSMV is a reimplementation and extension of SMV1, the f
NuSMV入門 ４日で学ぶモデル検査 初級編 - Qiita
４日で学ぶモデル検査 初級編 https://www.amazon.co.jp/dp/4860431197/ モデル検査 初級編―基礎から実践まで4日で学べる (CVS教程) https://www.amazon.co.jp/dp/4764955059/ NuSMVとSPINで記述している。 導入 導入 http://nusmv.fbk.eu/ Getting the NuSMV Source Code http://nusmv.fbk.eu/NuSMV/download/getting_src-v2.html Getting the NuSMV Binary Code http://nusmv.fbk.eu/NuSMV/download/getting_bin-v2.html ５種類あります。 GNU/Linux libc6 (686) 32-bit GNU/Linux libc6 (x
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Concuerror
NuSMV - Wikipedia
Microsoft PowerPoint - aboutMCtool.pptx
