1. F. Ahmad, S.A. Khan, Specification and verification of safety properties along a crossing region in a railway network control. Appl. Math. Model. 37(7), 5162–5170 (2013)
2. J.L. Peterson, Petri Net Theory and the Modeling of Systems, 1st edn. (Prentice Hall, Englewood Clis, N. J., USA, 1981)
3. M. Usman, V. Muthukkumarsamy, X.-W. Wu, A resource-efficient system for detection and verification of anomalies using mobile agents in wireless sensor networks. J. Netw. 9(12), 3427–3444 (2014)
4. J.C. Dagher, M.W. Marcellin, M.A. Neifeld, A theory for maximizing the lifetime of sensor networks. IEEE Trans. Commun. 55(2), 323–332 (2007)
5. J. Waterman, G.W. Challen, M. Welsh, Peloton: Coordinated resource management for sensor networks, (Switzerland, 2009), pp. 1–5