PetriNetwork

Pétrine

Petrinetwork est une bibliothèque sur ActionScript 3, qui simule le fonctionnement du réseau Petri. Conçu pour créer une animation flash interactive dans l'environnement d'entraînement hypertest

Fondations théoriques

Le réseau Petri est un multiprait multi-types à double art, composé des sommets de deux types - positions et transitions interconnectées par des arcs. Les pics du même type ne peuvent pas être connectés directement. Dans les positions, les marqueurs (marqueurs) peuvent se déplacer sur le réseau peuvent être placés dans des positions.

L'événement est le fonctionnement de la transition dans laquelle les marques des positions d'entrée de cette transition se déplacent vers le week-end. Les événements se produisent instantanément, ou différemment, lorsque les conditions sont remplies.

Usage:

1. Créer une nouvelle vidéo parmi Flash
2. Ajouter des fichiers de bibliothèque au répertoire avec le rouleau
3. Créer un script vidéo et importer dans les bibliothèques utilisées comme suit

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

4. Créer un objet responsable de l'interprétation du réseau Petri

 var sceneMgr = new SceneManager ( ) ;

5. Créer un arrière-plan et des objets contrôlés dans une vidéo sous forme de fragments de rouleaux
   • Il est recommandé d'organiser diverses images d'arrière-plan dans différentes cadres d'un fragment de la vidéo. La natation doit être arrêtée par la commande stop () dans chaque cadre
6. Créer un objet du modèle de réseau de type 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. Initialiser l'objet du réseau Petri

 sceneMgr . initFromObject ( sett ) ;

8. Attribuez les objets de contrôle aux objets gérés dans lesquels appeler la méthode MakeAction () pour la transition souhaitée

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

9. Attribuez le processeur de l'événement de transition et attribuez des actions à chaque 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. L'animation est prête!

Notes:

• Le référentiel stocke la vidéo de test Lab1.fla, des exemples de code lui sont retirés
• Tous les événements flash pris en charge peuvent être utilisés comme événements.
• Lors de la création de fragments de rouleaux, il est recommandé de s'approprier les noms des copies pour les contacter dans le code. Dans le cas de la génération de logiciels de copies - pour accéder via un tableau d'objets.
• La bibliothèque prend en charge le téléchargement de l'objet Structure du réseau Petri à partir du fichier JSON (exemple de ce fichier net1.json). Pour ce faire, au paragraphe 7, vous devez utiliser:

 sceneMgr . initFromJson ( net1 . json ) ;

• Utilisez la méthode MakeFirstactiveAct pour lancer la première action active de la liste
• La bibliothèque soutient la préservation de l'histoire des États du réseau Petri. Utilisez les méthodes StepbackwarwardHistory, StepForwardInhistory pour retourner les États dans l'histoire des États et la transition, respectivement (l'histoire des conditions fonctionne de manière similaire à l'histoire des actions de tout éditeur et soutient la réécriture)
• Utilisez la méthode istransitionactive pour déterminer si la transition avec un ID actif donné
• Il n'est pas recommandé de provoquer des méthodes de modification des classes de bibliothèques, à l'exception de la classe StatManAr (telles sont, par exemple, la classe Incmarkers et Decmarkers de la STAT). Les auteurs ne garantissent pas le travail stable de la bibliothèque dans ce cas
• L'objectif du processeur de transition (StatesUpDateEventHandler) doit être fait avant d'appeler la méthode initfromjsonfile ou initFromObject. Le défi de ces méthodes conduit à l'initialisation du gestionnaire et au premier appel du gestionnaire ("zéro", initialisant la transition)
• Une description détaillée des méthodes est donnée dans le code source de la bibliothèque