PetriNetwork

Petrinetwork

Petrinetwork adalah perpustakaan di Actioncript 3, yang mensimulasikan fungsi jaringan Petri. Dirancang untuk membuat animasi flash interaktif di hypertest lingkungan pelatihan

Yayasan Teoritis

Jaringan Petri adalah multi -tipe multi -tipe ganda, yang terdiri dari bagian atas dua jenis -posisi dan transisi yang saling berhubungan oleh busur. Puncak dari jenis yang sama tidak dapat dihubungkan secara langsung. Dalam posisi, penanda (penanda) dapat bergerak di atas jaringan dapat ditempatkan pada posisi.

Acara ini adalah pengoperasian transisi di mana tanda -tanda dari posisi input transisi ini bergerak ke akhir pekan. Peristiwa terjadi secara instan, atau berbeda, ketika kondisinya terpenuhi.

Penggunaan:

1. Buat video baru di antara flash
2. Tambahkan file pustaka ke direktori dengan roller
3. Buat skrip video dan impor ke dalamnya menggunakan pustaka sebagai berikut

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

4. Buat objek yang bertanggung jawab atas interpretasi jaringan Petri

 var sceneMgr = new SceneManager ( ) ;

5. Buat latar belakang dan objek yang dikendalikan dalam video dalam bentuk fragmen rol
   • Disarankan untuk mengatur berbagai gambar latar belakang dalam frame berbeda dari satu fragmen video. Berenang harus dihentikan oleh perintah stop () di setiap bingkai
6. Buat Objek Model Jaringan Jenis 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. Menginisialisasi objek jaringan petri

 sceneMgr . initFromObject ( sett ) ;

8. Tetapkan Objek Kontrol ke Objek Managing untuk memanggil metode MakeAction () untuk transisi yang diinginkan

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

9. Tetapkan prosesor acara transisi dan tetapkan tindakan untuk setiap transisi

 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. Animasi sudah siap!

Catatan:

• Repositori menyimpan video uji lab1.fla, contoh kode diambil darinya
• Setiap acara flash yang didukung dapat digunakan sebagai acara.
• Saat membuat fragmen rol, disarankan untuk sesuai dengan nama salinan untuk menghubungi mereka dalam kode. Dalam hal pembuatan salinan perangkat lunak - untuk mengakses melalui berbagai objek.
• Perpustakaan mendukung pengunduhan objek Struktur Jaringan Petri dari file JSON (contoh file net1.json ini). Untuk melakukan ini, dalam paragraf 7, Anda harus menggunakan:

 sceneMgr . initFromJson ( net1 . json ) ;

• Gunakan metode makefirstactiveact untuk memulai tindakan aktif pertama dari daftar
• Perpustakaan mendukung pelestarian sejarah negara -negara jaringan Petri. Gunakan metode Stepbackwardinhistory, Stepforwardinhistory untuk mengembalikan negara -negara dalam sejarah negara bagian dan transisi, masing -masing (sejarah kondisi bekerja sama dengan sejarah tindakan editor mana pun dan mendukung penulisan ulang)
• Gunakan metode isTransitionactive untuk menentukan apakah transisi dengan ID aktif yang diberikan
• Tidak disarankan untuk menyebabkan metode memodifikasi kelas perpustakaan, dengan pengecualian kelas Statemanager (misalnya, kelas incmarkers dan decmarkers stat). Penulis tidak menjamin pekerjaan stabil perpustakaan dalam kasus ini
• Tujuan dari prosesor transisi (StatesUpdateEventHandler) harus dibuat sebelum memanggil Metode InitFromJSonFile atau InitFromObject. Tantangan metode ini mengarah pada inisialisasi manajer dan panggilan pertama pawang ("nol", menginisialisasi transisi)
• Deskripsi terperinci tentang metode tersebut diberikan dalam kode sumber perpustakaan