「PIONEチュートリアル-PNML」の版間の差分

提供: Eospedia
移動: 案内検索
(ページの作成:「PIONEは、直接、pione定義書を記述する事もできますが、PNMLを用いて、ペトリネットの形式で記述することもできます....」)
(相違点なし)

2014年9月2日 (火) 21:05時点における版

PIONEは、直接、pione定義書を記述する事もできますが、PNMLを用いて、ペトリネットの形式で記述することもできます. WoPeD(推奨)により、ペトリネットを記述し、PNML形式で保存します。それぞれのアクションは、マークダウン形式で記述する事ができます.

PNMLからpione定義書へのコンパイル

$ pione compile CountChar.pnml --action Action.md