Jiacun WangBooksSoft Computing and Signal ProcessingTimed Petri NetsFormal Methods in Computer ScienceReal-Time Embedded SystemsHandbook of Finite State Based Models and ApplicationsAuthor data: Open Library