Text

Petri Net Synthesis

---

Jaring petri adalah model sistem konkuren yang mapan, dengan teori yang kaya dan kuat, namun masih terus berkembang. Jaring petri digunakan secara intensif dalam desain, verifikasi, analisis, dan pembuatan prototipe sistem perangkat lunak, sistem kontrol, dan sistem perangkat keras. Dialek atau perluasan jaring Petri yang berbeda berfungsi di berbagai bidang, mis. jaring Petri yang aman untuk desain perangkat keras, jaring tempat / transisi dan jaring tingkat tinggi untuk desain perangkat lunak, jaring Petri berjangka waktu dan stokastik untuk evaluasi kinerja. Dalam buku ini, kami lebih memusatkan perhatian pada jaring Petri yang aman dan jaring tempat / transisi (P/T-nets). Kami memahami sintesis sebagai proses otomatis yang, dengan spesifikasi perilaku atau spesifikasi parsial dari suatu sistem yang akan direalisasikan, memutuskan apakah spesifikasi tersebut layak, dan kemudian menghasilkan jaring Petri yang mewujudkannya dengan tepat, atau jika ini tidak memungkinkan, menghasilkan jaring Petri yang mewujudkan perkiraan optimal dari spesifikasi. Dalam kasus sebelumnya, sistem jaring Petri yang dihasilkan sudah benar secara konstruksi.Alat yang efisien secara komputasi telah dikembangkan untuk sintesis jaring Petri, yang oleh karena itu dapat memainkan peran sentral dalam desain sistem berbantuan komputer (sebaliknya, alat yang efisien belum ada untuk sintesis automata asinkron Zielonka, yang dapat menjadi alternatif sintesis jaring Petri). Kami tidak mempertimbangkan jaring Petri tingkat tinggi, karena terlalu canggih untuk dianggap sebagai implementasi yang realistis. Kami tidak mempertimbangkan jaring Petri berjangka waktu atau stokastik, karena hingga saat ini belum ada teori sintesis jaring tersebut yang dikembangkan. Buku ini bertujuan untuk memberikan tinjauan yang komprehensif dan sistematis terhadap masalah sintesis dan teori wilayah, yang mendasari penyelesaiannya.

---

Availability

No copy data

Detail Information

Series Title

Texts in Theoretical Computer Science. An EATCS Series (TTCS)

Call Number

006.31 BAD p c.1

Publisher

Berlin : Springer Berlin Heidelberg., 2015

Collation

-

Language

English

ISBN/ISSN

978-3-662-47967-4

Classification

006.31

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Mesin Pembelajar
Algoritma Genetika

Specific Detail Info

-

Statement of Responsibility

Eric Badouel, Luca Bernardinello, Philippe Darondeau

Other Information

Cataloger

Erwin

Source

https://link.springer.com/10.1007/978-3-662-47967-4

Validator

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment