On analyzing the vulnerabilities of a railway network with Petri nets