PetriNetwork

Petrinetwork

Petrinetwork es una biblioteca en ActionScript 3, que simula el funcionamiento de la red de Petri. Diseñado para crear animación de flash interactiva en el entorno de entrenamiento Hypertest

Bases teóricas

La red de Petri es un multi -bottomed multifot de doble botón, que consiste en la parte superior de dos tipos: posiciones y transiciones interconectadas por los ARC. Los picos del mismo tipo no se pueden conectar directamente. En las posiciones, los marcadores (marcadores) pueden moverse sobre la red se pueden colocar en posiciones.

El evento es el funcionamiento de la transición en la que las marcas de las posiciones de entrada de esta transición se mueven al fin de semana. Los eventos ocurren instantáneamente o de manera diferente, cuando se cumplen las condiciones.

Uso:

1. Crea un nuevo video entre Flash
2. Agregue archivos de biblioteca al directorio con el rodillo
3. Cree un script de video e importe en las bibliotecas utilizadas de la siguiente manera

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

4. Crear un objeto responsable de la interpretación de la red de Petri

 var sceneMgr = new SceneManager ( ) ;

5. Crear fondo y objetos controlados en un video en forma de fragmentos de rodillos
   • Se recomienda organizar varias imágenes de fondo en diferentes marcos de un fragmento del video. El comando de nadar debe detenerse mediante el comando stop () en cada cuadro
6. Cree un objeto del modelo de red de tipo 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. Inicializar el objeto de la red de Petri

 sceneMgr . initFromObject ( sett ) ;

8. Asigne los objetos de control a los objetos de administración para llamar al método makeaction () para la transición deseada

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

9. Asigne el procesador del evento de transición y asigne acciones para cada transición

 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. ¡La animación está lista!

Notas:

• El repositorio almacena el video de prueba Lab1.FLA, se toman ejemplos de código
• Cualquier evento Flash compatible se puede usar como eventos.
• Al crear fragmentos de rodillos, se recomienda apropiarse de los nombres de las copias para contactarlos en el código. En el caso de la generación de software de copias, para acceder a través de una variedad de objetos.
• La biblioteca admite la descarga del objeto de estructura de red Petri desde el archivo JSON (ejemplo de este archivo net1.json). Para hacer esto, en el párrafo 7, debe usar:

 sceneMgr . initFromJson ( net1 . json ) ;

• Use el método MakeFirstactiveAct para iniciar la primera acción activa desde la lista
• La biblioteca respalda la preservación de la historia de los estados de la red de Petri. Use los métodos de paso de paso de los métodos, Stepforwardinhistory para devolver los estados en la historia de los estados y la transición, respectivamente (la historia de las condiciones funciona de manera similar a la historia de las acciones de cualquier editor y respalda la reescritura)
• Use el método IStransitionActive para determinar si la transición con una ID activa dada
• No se recomienda causar métodos de modificación de las clases de biblioteca, con la excepción de la clase Statemanager (tales son, por ejemplo, la clase Incmarkers and Decarkers de la STAT). Los autores no garantizan el trabajo estable de la biblioteca en este caso.
• El propósito del procesador de transición (States UpdateEventHandler) debe hacerse antes de llamar al método InitFromJSONFILE o INITFROMObject. El desafío de estos métodos conduce a la inicialización del gerente y la primera llamada del controlador ("cero", inicializando la transición)
• Se proporciona una descripción detallada de los métodos en el código fuente de la biblioteca