TCTL Model Checking of Time Petri Nets | UPT Perpustakaan UHAMKA