Gambarkan model menggunakan petri net (jaring petri) untuk model SELAIN kendali tempat parkir. Gunakan referensi dari artikel/paper yang sudah dipublish.