Petri Net Modeling and Simulation of Walking Behaviour for Design of a Bioinspired Robot Dog Topics: Biological and Social Systems Simulation; Biologically Inspired Systems Simulation In Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications SIMULTECH - Volume 1, 217-224, 2016 , Lisbon, Portugal