Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems by Gu
198,36 €
The basic principle of the reduced ordered binary decision diagram (ROBDD) is employed to compress the state space used in these model checking procedures. - Chapter 2 Structural Characteristics of Petri Nets.
Jetzt bei Ebay:
