Title: Petri net modeling and software safety analysis