DIAGRAM UNIFIED MODELLING LANGUAGE UNTUK MEMODELKAN LAYANAN AUTOMATED TELLER MACHINE DENGAN PETRI NET
Penelitian ini menguraikan suatu aplikasi yang mungkin dari Petri net untuk menspesifikasikan dinamika dari sistem informasi. Petri net adalah suatu alat matematik yang menerapkan spesifikasi formal dari dinamika sistim. Suatu prosedur yang formal disarankan karena mampu mentransformasi diagram keg...
Spremljeno u:
| Glavni autor: | |
|---|---|
| Format: | Artigo |
| Jezik: | Inglês |
| Izdano: |
Universitas Pattimura
2013-03-01
|
| Serija: | Barekeng |
| Teme: | |
| Online pristup: | https://ojs3.unpatti.ac.id/index.php/barekeng/article/view/240 |
| Oznake: |
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|
