Return to Article Details Collision prevention in Singapore Strait by using timed Petri net Download Download PDF