PetriNetwork

การทำงานของ petrinetwork

Petrinetwork เป็นห้องสมุดบน Actionscript 3 ซึ่งจำลองการทำงานของเครือข่าย Petri ออกแบบมาเพื่อสร้างแอนิเมชั่นแฟลชแบบโต้ตอบในสภาพแวดล้อมการฝึกอบรม hypertest

รากฐานทางทฤษฎี

เครือข่าย Petri เป็นมัลติโพรต์แบบหลายประเภทแบบคู่ซึ่งประกอบด้วยท็อปส์ซูของสองประเภท -ตำแหน่งและการเปลี่ยนที่เชื่อมต่อกันโดยอาร์ค ยอดเขาประเภทเดียวกันไม่สามารถเชื่อมต่อได้โดยตรง ในตำแหน่งเครื่องหมาย (เครื่องหมาย) สามารถเคลื่อนย้ายผ่านเครือข่ายสามารถวางในตำแหน่ง

เหตุการณ์คือการดำเนินการของการเปลี่ยนแปลงซึ่งเครื่องหมายจากตำแหน่งอินพุตของการเปลี่ยนแปลงนี้ย้ายไปเป็นวันหยุดสุดสัปดาห์ เหตุการณ์เกิดขึ้นทันทีหรือแตกต่างกันเมื่อเงื่อนไขเป็นจริง

การใช้งาน:

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. สร้างพื้นหลังและวัตถุควบคุมในวิดีโอในรูปแบบของชิ้นส่วนลูกกลิ้ง
   • ขอแนะนำให้จัดเรียงภาพพื้นหลังต่าง ๆ ในเฟรมที่แตกต่างกันของชิ้นส่วนหนึ่งของวิดีโอ การว่ายน้ำควรหยุดโดยคำสั่งหยุด () ในแต่ละเฟรม
6. สร้างวัตถุของโมเดลเครือข่ายประเภท 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. เริ่มต้นวัตถุของเครือข่าย 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 ตัวอย่างของรหัสถูกนำมาจากมัน
• เหตุการณ์แฟลชที่รองรับใด ๆ สามารถใช้เป็นกิจกรรมได้
• เมื่อสร้างชิ้นส่วนของลูกกลิ้งขอแนะนำให้ใช้ชื่อสำเนาที่เหมาะสมเพื่อติดต่อพวกเขาในรหัส ในกรณีของการสร้างซอฟต์แวร์ของสำเนา - เพื่อเข้าถึงผ่านอาร์เรย์ของวัตถุ
• ห้องสมุดรองรับการดาวน์โหลดวัตถุโครงสร้างเครือข่าย Petri จากไฟล์ JSON (ตัวอย่างของไฟล์ net1.json นี้) ในการทำเช่นนี้ในวรรค 7 คุณควรใช้:

 sceneMgr . initFromJson ( net1 . json ) ;

• ใช้วิธีการ MakeFirStactiveAct เพื่อเริ่มต้นการดำเนินการที่ใช้งานครั้งแรกจากรายการ
• ห้องสมุดสนับสนุนการอนุรักษ์ประวัติศาสตร์ของรัฐของเครือข่าย Petri ใช้วิธีการ stepbackwardinhistory, stepforwardinhistory เพื่อคืนสถานะในประวัติศาสตร์ของรัฐและการเปลี่ยนแปลงตามลำดับ (ประวัติของเงื่อนไขทำงานคล้ายกับประวัติศาสตร์ของการกระทำของบรรณาธิการใด ๆ และสนับสนุนการเขียนใหม่)
• ใช้วิธีการ istransitionactive เพื่อตรวจสอบว่าการเปลี่ยนแปลงด้วย ID ที่ใช้งานอยู่ที่กำหนด
• ไม่แนะนำให้ทำให้วิธีการปรับเปลี่ยนวิธีการเรียนไลบรารียกเว้นคลาส Statemanager (เช่นตัวอย่างเช่นคลาส Incmarkers และ Decmarkers ของสถิติ) ผู้เขียนไม่รับประกันงานที่มั่นคงของห้องสมุดในกรณีนี้
• วัตถุประสงค์ของโปรเซสเซอร์การเปลี่ยนผ่าน (statepdateVentHandler) จะต้องทำก่อนที่จะเรียกใช้วิธีการ initFromJSONFILE หรือ InitFromObject ความท้าทายของวิธีการเหล่านี้นำไปสู่การเริ่มต้นของผู้จัดการและการโทรครั้งแรกของตัวจัดการ ("ศูนย์" การเริ่มต้นการเปลี่ยนแปลง)
• คำอธิบายโดยละเอียดเกี่ยวกับวิธีการที่ได้รับในซอร์สโค้ดของไลบรารี