PetriNetwork

Petrinetwork

Petrinetwork is a library on ActionScript 3, which simulates the functioning of the Petri network. Designed to create interactive Flash animation in the training environment hypertest

Theoretical foundations

The Petri network is a dual -bottomed multi -type multiprait, consisting of the tops of two types - positions and transitions interconnected by arcs. The peaks of the same type cannot be connected directly. In positions, markers (markers) can move over the network can be placed in positions.

The event is the operation of the transition in which the marks from the input positions of this transition move to the weekend. Events occur instantly, or differently, when the conditions are fulfilled.

Usage:

1. Create a new video among Flash
2. Add library files to the Directory with the Roller
3. Create a video script and import into it used libraries as follows

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

4. Create an object responsible for the interpretation of the Petri network

 var sceneMgr = new SceneManager ( ) ;

5. Create background and controlled objects in a video in the form of roller fragments
   • It is recommended to arrange various background images in different frames of one fragment of the video. Swiming should be stopped by the Stop () command in each frame
6. Create an object of the Petri type network model:

 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. Initialize the object of the Petri network

 sceneMgr . initFromObject ( sett ) ;

8. Assign the control objects to the managing objects in which to call the Makeaction () method for the desired transition

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

9. Assign the processor of the transition event and assign actions for each transition

 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. Animation is ready!

Notes:

• The repository stores the Lab1.Fla test video, examples of code are taken from it
• Any supported Flash events can be used as events.
• When creating fragments of rollers, it is recommended to appropriate the names of copies to contact them in the code. In the case of software generation of copies - to access through an array of objects.
• The library supports the download of the Petri network structure object from the JSON file (example of this NET1.json file). To do this, in paragraph 7, you should use:

 sceneMgr . initFromJson ( net1 . json ) ;

• Use the MakeFirstactiveact method to initiate the first active action from the list
• The library supports the preservation of the history of the states of the Petri network. Use the methods STEPBACKWARDINHISTORY, STEPFORWARDINHISTORY to return the states in the history of states and the transition, respectively (the history of the conditions works similarly to the history of the actions of any editor and supports the rewriting)
• Use the IstransitionActive method to determine whether the transition with a given active ID
• It is not recommended to cause modifying methods of library classes, with the exception of the Statemanager class (such are, for example, the Incmarkers and Decmarkers class of the stat). The authors do not guarantee the stable work of the library in this case
• The purpose of the transition processor (Statesupdateeventhandler) must be made before calling the Initfromjsonfile or Initfromobject method. The challenge of these methods leads to the initialization of the manager and the first call of the handler ("zero", initializing the transition)
• A detailed description of the methods is given in the source code of the library