PIONEチュートリアル-PNML

提供: Eospedia
2014年9月2日 (火) 21:05時点におけるTacyas (トーク | 投稿記録)による版

(差分) ←前の版 | 最新版 (差分) | 次の版→ (差分)
移動: 案内検索

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

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

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