Filter by
Found 1 from your keywords: author="Bernardinello, Luca"
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 d…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47967-4
- Collation
- -
- Series Title
- Texts in Theoretical Computer Science. An EATCS Series (TTCS)
- Call Number
- 006.31 BAD p c.1
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography