出典:Wikipedia
出典:『Wikipedia』 (2011/03/23 11:24 UTC 版)
SP-DEVS abbreviating “Schedule-Preserving Discrete Event System Specification” is a formalism for modeling and analyzing discrete event systems in both simulation and verification ways. SP-DEVS also provides modular and hierarchical modeling features which have been inherited from the Classic DEVS.