Detection of Faults in Microservices using Petri Nets