PetriNetwork

Petrinetwork

Petrinetwork ist eine Bibliothek auf ActionScript 3, die die Funktion des Petrri -Netzwerks simuliert. Entwickelt, um interaktive Flash -Animation im Trainingsumfeld Hypertest zu erstellen

Theoretische Grundlagen

Das Petri -Netzwerk ist ein Doppelmultiprait mit einem Multi -Typ -Typ, das aus den Tops zweier Typen besteht -Positionen und Übergänge, die durch Bögen miteinander verbunden sind. Die Peaks desselben Typs können nicht direkt angeschlossen werden. In Positionen können Marker (Marker) über das Netzwerk in Positionen platziert werden.

Das Ereignis ist der Betrieb des Übergangs, bei dem die Markierungen aus den Eingabepositionen dieses Übergangs zum Wochenende wechseln. Ereignisse treten sofort oder anders auf, wenn die Bedingungen erfüllt sind.

Verwendung:

1. Erstellen Sie ein neues Video unter Flash
2. Fügen Sie dem Verzeichnis Bibliotheksdateien mit der Walze hinzu
3. Erstellen Sie ein Videoskript und importieren Sie in die gebrauchten Bibliotheken wie folgt

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

4. Erstellen Sie ein Objekt, das für die Interpretation des Petri -Netzwerks verantwortlich ist

 var sceneMgr = new SceneManager ( ) ;

5. Erstellen Sie Hintergrund und kontrollierte Objekte in einem Video in Form von Rollenfragmenten
   • Es wird empfohlen, verschiedene Hintergrundbilder in verschiedenen Rahmen eines Fragments des Videos zu ordnen. Das Schwimmen sollte in jedem Frame durch den Befehl stop () gestoppt werden
6. Erstellen Sie ein Objekt des Petrischyp -Netzwerkmodells:

 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. Initialisieren Sie das Objekt des Petrisch -Netzwerks

 sceneMgr . initFromObject ( sett ) ;

8. Weisen Sie den Verwaltungsobjekten die Steuerobjekte zu, bei denen die Methode makeAction () für den gewünschten Übergang aufgerufen werden soll

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

9. Weisen Sie den Prozessor des Übergangsereignisses zu und weisen Sie für jeden Übergang Aktionen zu

 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 ist fertig!

Anmerkungen:

• Das Repository speichert das lab1.fla -Testvideo. Beispiele für Code werden davon entnommen
• Alle unterstützten Flash -Ereignisse können als Ereignisse verwendet werden.
• Beim Erstellen von Walzenfragmenten wird empfohlen, die Namen von Kopien zu entsprechen, um sie im Code zu kontaktieren. Bei der Software -Erzeugung von Kopien - Zugriff über eine Reihe von Objekten.
• Die Bibliothek unterstützt den Download des Petri Network -Strukturobjekts aus der JSON -Datei (Beispiel dieser net1.json -Datei). Dazu sollten Sie in Absatz 7 verwenden:

 sceneMgr . initFromJson ( net1 . json ) ;

• Verwenden Sie die MakefirstactiveAct -Methode, um die erste aktive Aktion aus der Liste zu initiieren
• Die Bibliothek unterstützt die Erhaltung der Geschichte der Staaten des Petri -Netzwerks. Verwenden Sie die Methoden StepbackwardinHistory, stapelwardinhistory, um die Zustände in der Geschichte der Zustände und des Übergangs zurückzugeben (die Geschichte der Bedingungen funktioniert ähnlich wie die Geschichte der Aktionen eines jeden Herausgebers und unterstützt die Umschreibung)
• Verwenden Sie die iStransitionActive -Methode, um festzustellen, ob der Übergang mit einer bestimmten aktiven ID
• Es wird nicht empfohlen, die Methoden der Bibliotheksklassen zu ändern, mit Ausnahme der Statistanager -Klasse (z. Die Autoren garantieren in diesem Fall die stabile Arbeit der Bibliothek nicht
• Der Zweck des Übergangsprozessors (StatesUpdateEventHandler) muss vor dem Aufrufen der InitfromjsonFile oder der InitfromObject -Methode erfolgen. Die Herausforderung dieser Methoden führt zur Initialisierung des Managers und zum ersten Anruf des Handlers ("Zero", wobei der Übergang initialisiert wird)
• Eine detaillierte Beschreibung der Methoden finden Sie im Quellcode der Bibliothek