Pemanfaatan algoritma petri net untuk pengolahan bubur coklat
| Main Author: | MuhammadNurAdityaWardhana |
|---|---|
| Format: | Thesis NonPeerReviewed |
| Terbitan: |
, 2005
|
| Subjects: | |
| Online Access: |
http://repository.ub.ac.id/138281/ |
Daftar Isi:
- Sistem diskrit dapat dimodelkan dengan dengan jaring Petri untuk keperluan analisis dan perancangan. Analisis terhadap sistem diskrit dengan menggunakan jaring Petri memungkinkan untuk mengetahui safeness, liveness dan reachability dari sistem tersebut. Hasil analisis tersebut juga dapat menunjukan sejumlah persyaratan operasional yang harus disiapkan supaya sistem dapat mencapai kondisi tertentu yang diinginkan. Sebagai ilustrasi dalam skripsi ini dipergunakan sistem produksi pengolahan coklat. Dalam proses ini dirancang suatu perangkat lunak interpreter jaring Petri yang akan memudahkan pemakai untuk melakukan proses analisa.