https://123dok.com/id/docs/petri-alat-matematik-menerapkan-spesifikasi-formal-dinamika-sistim.11191506