Automatic supervisory system synthesis for port cranes collision prevention by using Petri net
Port security: container cargo control