[A12026075]Petri Net Theory and the Modeling of Systems Peterson, James Lyl
Petri Net Theory and the Modeling of Systems,Chapter 3: Petri Net Theory and the Modeling of Systems,Chapter 3: Petri Net Theory and the Modeling of Systems,Chapter 3: Petri Net Theory and the Modeling of Systems,Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets