Davidrajuh R. Petri Nets for Modeling Complex Discrete-Event Systems...2025