PetriNetwork

Petrinetwork

Petrinetwork هي مكتبة على ActionScript 3 ، والتي تحاكي أداء شبكة Petri. مصمم لإنشاء رسوم متحركة فلاش تفاعلية في اختبار بيئة التدريب

الأسس النظرية

شبكة Petri عبارة عن مجموعة متعددة النوعية ذات النماذج المزدوجة ، والتي تتكون من قمم من نوعين -المواضع والتحولات المترابطة بواسطة ARCs. لا يمكن توصيل قمم نفس النوع مباشرة. في المواقف ، يمكن وضع العلامات (العلامات) على الشبكة في المواضع.

الحدث هو تشغيل الانتقال الذي تنتقل فيه علامات مواقع الإدخال لهذا الانتقال إلى عطلة نهاية الأسبوع. تحدث الأحداث على الفور ، أو بشكل مختلف ، عندما يتم الوفاء بالظروف.

الاستخدام:

1. قم بإنشاء فيديو جديد بين Flash
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:

 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. استخدم أساليب Stepbichardinhistory ، Stepforwardinhistory لإعادة الدول في تاريخ الدول والانتقال ، على التوالي (تاريخ الشروط يعمل بشكل مشابه لتاريخ تصرفات أي محرر ويدعم إعادة كتابة)
• استخدم طريقة isTransitionActive لتحديد ما إذا كان الانتقال بمعرف نشط معين
• لا ينصح بالتسبب في تعديل طرق فصول المكتبة ، باستثناء فئة Statemanager (على سبيل المثال ، فئة Incmarkers and Demmarkers في الإحصائيات). لا يضمن المؤلفون العمل المستقر للمكتبة في هذه الحالة
• يجب إجراء الغرض من معالج الانتقال (statesupDateEventHandler) قبل استدعاء طريقة initfromjsonfile أو initFromObject. يؤدي التحدي في هذه الأساليب إلى تهيئة المدير ودعوة المعالج الأولى ("صفر" ، تهيئة الانتقال)
• ويرد وصف مفصل للطرق في الكود المصدري للمكتبة