PetriNetwork

石油

Petrinetwork是ActionScript 3上的庫，它模擬了Petri網絡的功能。旨在在訓練環境中創建交互式閃光動畫

理論基礎

Petri網絡是雙重鍵多的多型多戰，由兩種類型的頂部組成 - 位置和通過ARC互連的位置和過渡。同一類型的峰不能直接連接。在位置，標記（標記）可以在網絡上移動，可以將其放置在位置。

該事件是過渡的操作，其中該過渡的輸入位置的標記轉移到了周末。當條件滿足時，事件立即發生或不同。

用法：

1. 在Flash中創建新視頻
2. 使用滾筒將庫文件添加到目錄中
3. 創建一個視頻腳本並導入到IT中，使用如下所示

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

4. 創建負責解釋培養皿網絡的對象

 var sceneMgr = new SceneManager ( ) ;

5. 在視頻中以滾子片段的形式創建背景和受控對象
   • 建議在視頻的一個片段的不同框架中安排各種背景圖像。每個幀中的stop（）命令應停止游泳
6. 創建Petri類型網絡模型的對象：

 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 ]
	}
	] 
} ;

7. 初始化培養皿網絡的對象

 sceneMgr . initFromObject ( sett ) ;

8. 將控制對象分配給託管對象，以調用所需過渡的makeAction（）方法

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

9. 分配過渡事件的處理器並為每個過渡分配操作

 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 ) ;	

10. 動畫已經準備好了！

筆記：

• 存儲庫存儲lab1.fla測試視頻，代碼的示例
• 任何支持的閃存事件都可以用作事件。
• 創建滾筒的片段時，建議將副本的名稱適當以在代碼中與它們聯繫。對於軟件生成副本的情況 - 通過一系列對象訪問。
• 該庫支持從JSON文件（此Net1.json文件的示例）下載Petri網絡結構對象。為此，在第7段中，您應該使用：

 sceneMgr . initFromJson ( net1 . json ) ;

• 使用makefirttiveact方法來啟動列表中的第一個活動動作
• 該圖書館支持保存彼得里網絡狀態的歷史。使用這些方法進行回程歷史，分別返回國家歷史和過渡中的國家（條件的歷史與任何編輯者的行動歷史相似，並支持重寫）
• 使用IsTransitionArtive方法來確定是否具有給定活動ID的過渡
• 不建議除了StateManager類以外（例如，STAT的Incmarkers和Decmarkers類），不建議引起庫類的修改方法。在這種情況下，作者不能保證圖書館的穩定工作
• 在調用InitfromjsonFile或InitfromObject方法之前，必須實現過渡處理器（StatesUpdateEventHandler）的目的。這些方法的挑戰導致經理的初始化和處理程序的第一個調用（“零”，初始化過渡）
• 該方法的詳細說明在庫的源代碼中給出