PetriNetwork

Petrinetwork

Petrinetwork는 Actionscript 3의 라이브러리로 Petri 네트워크의 기능을 시뮬레이션합니다. 교육 환경 하이퍼 테스트에서 대화식 플래시 애니메이션을 만들도록 설계되었습니다.

이론적 기초

Petri Network는 두 가지 유형의 상단으로 구성된 듀얼 바닥의 멀티 형 멀티 프라이트입니다. 아크와 상호 연결된 위치 및 전환. 동일한 유형의 피크는 직접 연결할 수 없습니다. 위치에서는 마커 (마커)가 네트워크 위로 이동할 수 있습니다.

이벤트는이 전환의 입력 위치에서 마크가 주말로 이동하는 전환의 운영입니다. 조건이 충족 될 때 이벤트는 즉시 또는 다르게 발생합니다.

용법:

1. 플래시 사이에 새 비디오를 만듭니다
2. 롤러와 함께 디렉토리에 라이브러리 파일을 추가하십시오
3. 비디오 스크립트를 만들고 다음과 같이 사용한 라이브러리로 가져 오기

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

4. Petri 네트워크 해석을 담당하는 객체 작성

 var sceneMgr = new SceneManager ( ) ;

5. 롤러 조각 형태로 비디오에서 배경 및 제어 객체 생성
   • 하나의 비디오 조각의 다른 프레임에 다양한 배경 이미지를 배열하는 것이 좋습니다. 수영은 각 프레임에서 stop () 명령에 의해 중지되어야합니다.
6. Petri Type 네트워크 모델의 객체 생성 :

 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. Petri 네트워크의 객체를 초기화하십시오

 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 Network 구조 객체의 다운로드를 지원합니다. 이렇게하려면 7 항에서 다음을 사용해야합니다.

 sceneMgr . initFromJson ( net1 . json ) ;

• MAKEFIRSTACTIVEACT 메소드를 사용하여 목록에서 첫 번째 활성 작업을 시작하십시오.
• 도서관은 Petri 네트워크 상태의 역사의 보존을 지원합니다. 메소드를 사용하여 StepbackwardInhistory, StepforwardInhistory를 사용하여 국가의 역사와 전환에서 각각의 상태를 반환합니다 (조건의 역사는 모든 편집자의 행동의 역사와 유사하게 작동하며 재 작성을 지원합니다).
• istransitionActive 메소드를 사용하여 주어진 활성 ID 로의 전환 여부를 결정하십시오.
• STATEMANAGER 클래스를 제외하고 도서관 클래스의 수정 방법을 유발하는 것은 권장되지 않습니다 (예를 들어, 통계의 Infmarkers 및 Decmarkers 클래스). 저자는이 경우 도서관의 안정적인 작업을 보장하지 않습니다.
• initfromjsonfile 또는 initfromobject 메소드를 호출하기 전에 전환 프로세서 (StatesUpdateEventhandler)의 목적을 작성해야합니다. 이러한 방법의 과제는 관리자의 초기화와 핸들러의 첫 번째 호출로 이어집니다 ( "Zero", 전환 초기화).
• 방법에 대한 자세한 설명은 라이브러리의 소스 코드에 나와 있습니다.