Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

An Efficient Algorithm for Exploring State Spaces of Petri Nets with Large Capacities Algoritma Cekap untuk Meneroka Ruang Negeri Jaring Petri dengan Kapasiti Besar

Kunihiko HIRAISHI

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Menjana ruang keadaan adalah salah satu kaedah penting dan umum dalam analisis jaring Petri. Terdapat dua sebab mengapa ruang keadaan jaring Petri menjadi begitu besar. Satu ialah peralihan yang berlaku serentak, dan satu lagi adalah urutan penembakan yang berlaku secara berkala. Kertas kerja ini memberi tumpuan kepada masalah kedua, dan mencadangkan algoritma baharu untuk meneroka ruang keadaan kapasiti terhingga jaring Petri dengan kapasiti besar. Dalam algoritma yang dicadangkan, ruang keadaan diwakili dalam bentuk pokok supaya satu set tanda yang dijana oleh kejadian berkala urutan penembakan dikaitkan dengan setiap nod, dan ia jauh lebih kecil daripada graf kebolehcapaian.

Jawatankuasa
IEICE TRANSACTIONS on Fundamentals Vol.E83-A No.11 pp.2188-2195
Tarikh penerbitan
2000/11/25
Diumumkan
ISSN dalam talian
DOI
Jenis Manuskrip
Special Section PAPER (Special Section on Concurrent Systems Technology)
kategori

Pengarang

Kata kunci

Contents [show]