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

Reachability Analysis of Variants of Communication-Free Petri Nets Analisis Kebolehcapaian Varian Petri Nets Tanpa Komunikasi

Chien-Liang CHEN, Suey WANG, Hsu-Chun YEN

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Jaring Petri tanpa komunikasi menyediakan semantik bersih untuk Proses Selari Asas, yang membentuk subkelas Milner's Calculus of Communicating Systems (CCS) kalkulus proses untuk penerangan dan manipulasi algebra bagi sistem komunikasi serentak. Adalah diketahui bahawa masalah kebolehcapaian untuk jaring Petri bebas komunikasi adalah NP-lengkap. Tanpa mekanisme penyegerakan, kuasa ekspresif jaring Petri bebas komunikasi agak terhad. Oleh itu, adalah penting untuk melihat sama ada kuasa jaring Petri bebas komunikasi boleh dipertingkatkan tanpa mengorbankan keupayaan analisisnya. Sebagai langkah pertama ke arah penyelidikan ini, dalam makalah ini kebimbangan utama kami adalah untuk menyiasat, dari sudut kebolehtetapan/kerumitan, masalah kebolehcapaian untuk beberapa varian jaring Petri tanpa komunikasi, termasuk jaring Petri bebas komunikasi ditambah dengan 'keutamaan statik,' 'keutamaan dinamik,' 'negeri,' 'arka perencat,' dan 'kekangan masa.'

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E92-D No.3 pp.377-388
Tarikh penerbitan
2009/03/01
Diumumkan
ISSN dalam talian
1745-1361
DOI
10.1587/transinf.E92.D.377
Jenis Manuskrip
PAPER
kategori
Teori Algoritma

Pengarang

Kata kunci

Contents [show]