PetriNetworkのダウンロードPetriNetworkソースコードのダウンロード

PetriNetwork

FLASHソースコード

1.0.0

ダウンロード

ペトリネットワーク

Petrinetworkは、Petriネットワークの機能をシミュレートするActionScript 3のライブラリです。トレーニング環境ハイパーテストでインタラクティブなフラッシュアニメーションを作成するように設計されています

理論的基礎

Petriネットワークは、アークによって相互接続された2つのタイプの上部（2つのタイプの上部）で構成される、デュアルボトムマルチタイプのマルチプライトです。同じタイプのピークを直接接続することはできません。位置では、マーカー（マーカー）がネットワークを越えて移動でき、位置に配置できます。

イベントは、この移行の入力位置からのマークが週末に移動する移行の操作です。条件が満たされると、イベントが即座に、または異なる方法で発生します。

使用法：

Flashの間に新しいビデオを作成します
ローラーでライブラリファイルをディレクトリに追加します
ビデオスクリプトを作成し、次のように使用されたライブラリにインポートします

 import PetriNetManager . State ;
import PetriNetManager . StateTransition ;
import PetriNetManager . ActionResult ;
import PetriNetManager . SceneManager ;
import PetriNetManager . StatesUpdateEventHandler ;
import flash . display . DisplayObject ;

ペトリネットワークの解釈に責任があるオブジェクトを作成する

 var sceneMgr = new SceneManager ( ) ;

ローラーフラグメントの形でビデオで背景と制御されたオブジェクトを作成する
- ビデオの1つのフラグメントのさまざまなフレームにさまざまな背景画像を配置することをお勧めします。泳ぐことは、各フレームのstop（）コマンドによって停止する必要があります
Petri Type Networkモデルのオブジェクトを作成します。

 var sett : Object = {
    //Номера позиций
    states : [ 1 , 2 , 3 , 4 , 5 ] ,
    //Количество маркеров в каждой позиции
    markers : [ 1 , 0 , 0 , 0 , 0 ] ,
    //Массив объектов переходов
    transitions : [ {
    		//номер перехода
		id : 1 ,
		//Входные позиции
		inputStates : [ 1 ] ,
		//Выходные позиции
		outputStates : [ 2 ]
	} ,
	{
		id : 2 ,
		inputStates : [ 2 ] ,
		outputStates : [ 3 ]
	} ,
	{
		id : 3 ,
		inputStates : [ 1 ] ,
		outputStates : [ 5 ]
	}
	] 
} ;

ペトリネットワークのオブジェクトを初期化します

 sceneMgr . initFromObject ( sett ) ;

目的の遷移のためにmakeaction（）メソッドを呼び出す管理オブジェクトに制御オブジェクトを割り当てます

 helpBtn . addEventListener ( MouseEvent . CLICK , helpBtnInvoke ) ;
function helpBtnInvoke ( e : MouseEvent ) : void {
	sceneMgr . makeAction ( 1 ) ;
}

トランジションイベントのプロセッサを割り当て、各トランジションのアクションを割り当てます

 function statesChangedHandler ( e : StatesUpdateEventHandler ) {

	for each ( var s : State in e . States ) {
		trace ( s . Id + " " + s . hasMarkers ( ) ) ;
	}
	trace ( "-----------------------------" ) ;
	
	//Если срабатывает первый переход
	if ( e . States [ 0 ] . hasMarkers ( ) ) {
		//переходим на другой фон
		bg1 . gotoAndStop ( 1 ) ;
		//меняем текст в навигационном окне
		curStr = "Зайдите в меню HELP или нажмите CTRL+SHIFT+D" ;
		
	}
	if ( e . States [ 1 ] . hasMarkers ( ) ) {
		bg1 . gotoAndStop ( 2 ) ;
		curStr = "Выберите пункт Default Keymap Reference" ;

		
	}
	if ( e . States [ 2 ] . hasMarkers ( ) ) {
		bg1 . gotoAndStop ( 3 ) ;
		curStr = "Список со всеми горячими клавишами" ;
	}
	if ( e . States [ 4 ] . hasMarkers ( ) ) {
		bg1 . gotoAndStop ( 4 ) ;
		curStr = "Форма поиска команды" ;
		
		
	}
}
sceneMgr . addEventListener ( StatesUpdateEventHandler . STATES_UPDATE_EVENT , statesChangedHandler ) ;

アニメーションの準備ができました！

注：

リポジトリはlab1.flaテストビデオを保存します、コードの例はそれから取られます
サポートされているフラッシュイベントは、イベントとして使用できます。
ローラーの断片を作成するときは、コピーの名前をコードに連絡するように適切にすることをお勧めします。ソフトウェアのコピー生成の場合 - オブジェクトの配列を介してアクセスします。
ライブラリは、JSONファイルからPetri Network Structureオブジェクトのダウンロードをサポートしています（このnet1.jsonファイルの例）。これを行うには、パラグラフ7では、次のことを使用する必要があります。

 sceneMgr . initFromJson ( net1 . json ) ;

MakeFirstactiveactメソッドを使用して、リストから最初のアクティブアクションを開始します
図書館は、ペトリネットワークの州の歴史の保存を支援しています。方法を使用して、Stepbackwardinhistory、Stepforwardinhistoryを使用して、州の歴史と移行の州を返還します（条件の歴史は、編集者の行動の歴史と同様に機能し、書き直しをサポートします）
ISTRANSITIONACTIVEメソッドを使用して、特定のアクティブIDを使用した遷移がかどうかを判断します
StateManagerクラスを除き、ライブラリクラスの変更方法を引き起こすことは推奨されません（たとえば、IncmarkersやDecmarkersクラスのSTAT）。この場合、著者は図書館の安定した作業を保証しません
Transition Processor（StatesUpDateEventHandler）の目的は、initfromsonfileまたはinitfromobjectメソッドを呼び出す前に作成する必要があります。これらの方法の課題は、マネージャーの初期化とハンドラーの最初の呼び出し（「ゼロ」、遷移の初期化につながります）
メソッドの詳細な説明は、ライブラリのソースコードに記載されています

拡大する

追加情報