「PIONEチュートリアル-PNML」の版間の差分
提供: Eospedia
行1: | 行1: | ||
[[PIONE]]は、直接、[[pione定義書]]を記述する事もできますが、[[PNML]]を用いて、ペトリネットの形式で記述することもできます. | [[PIONE]]は、直接、[[pione定義書]]を記述する事もできますが、[[PNML]]を用いて、ペトリネットの形式で記述することもできます. | ||
[[WoPeD]](推奨)により、ペトリネットを記述し、[[PNML]]形式で保存します。それぞれのアクションは、マークダウン形式で記述する事ができます. | [[WoPeD]](推奨)により、ペトリネットを記述し、[[PNML]]形式で保存します。それぞれのアクションは、マークダウン形式で記述する事ができます. | ||
+ | |||
+ | == [[WoPeD]]を使った[[pione]]定義書の作成 == | ||
+ | ここでは[[WoPeD]]を使って、[[PNML]]ファイルを作成し、[[pione定義書]]を作成するチュートリアルを行います。<br> | ||
+ | <br> | ||
+ | |||
+ | === 基本1(特定のファイルを出力する)=== | ||
+ | まずは[[PIONEチュートリアル#基本1(特定のファイルを出力する)]]と同様にHelloプログラムを作ってみましょう。<br> | ||
+ | <br> | ||
+ | [[WoPeD]]を起動し、新規作成するためにFileのNewを選択します。<br> | ||
+ | 新規作成したファイル内のProcess上で右クリックすると、アイテムを選択することができます。<br> | ||
+ | [[画像:PIONE-PNML-WoPeD1.png]]<br> | ||
+ | <br> | ||
+ | [[pione定義書]]を作成する上では上部2つの"○"(Place)と"□"(Transition)を使用します。主に"○"(Place)はファイルなどの入出力データを指し、"□"(Transition)はRuleなどの処理を指します。<br> | ||
+ | [[画像:PIONE-PNML-WoPeD2.png]]<br> | ||
+ | <br> | ||
+ | |||
+ | |||
== [[PNML]]から[[pione定義書]]へのコンパイル == | == [[PNML]]から[[pione定義書]]へのコンパイル == |
2014年11月4日 (火) 01:55時点における版
PIONEは、直接、pione定義書を記述する事もできますが、PNMLを用いて、ペトリネットの形式で記述することもできます. WoPeD(推奨)により、ペトリネットを記述し、PNML形式で保存します。それぞれのアクションは、マークダウン形式で記述する事ができます.
WoPeDを使ったpione定義書の作成
ここではWoPeDを使って、PNMLファイルを作成し、pione定義書を作成するチュートリアルを行います。
基本1(特定のファイルを出力する)
まずはPIONEチュートリアル#基本1(特定のファイルを出力する)と同様にHelloプログラムを作ってみましょう。
WoPeDを起動し、新規作成するためにFileのNewを選択します。
新規作成したファイル内のProcess上で右クリックすると、アイテムを選択することができます。
pione定義書を作成する上では上部2つの"○"(Place)と"□"(Transition)を使用します。主に"○"(Place)はファイルなどの入出力データを指し、"□"(Transition)はRuleなどの処理を指します。
PNMLからpione定義書へのコンパイル
$ pione compile CountChar.pnml --action Action.md