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）的目的。这些方法的挑战导致经理的初始化和处理程序的第一个调用（“零”，初始化过渡）
• 该方法的详细说明在库的源代码中给出