. . "1122877786"^^ . . . . . . "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."@en . "13236"^^ . . . "SP-DEVS"@en . . . . . . . . . . . . . . "14128629"^^ . . . "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."@en . . . . .