abbr.developers 开发者；devotions 热爱，投入； 英英释义： DEVSDEVS abbreviating Discrete Event System Specification is a modular and hierarchical formalism for modeling and analyzing general systems that can be discrete event systems which might be described by state tr