From Wikipedia, the free encyclopedia
Software
MS4 Modeling Environment (MS4 Me) is a discrete event simulation system (DEVS) software developed by MS4 Systems, Inc. It has been used in the modeling of complex systems (such as a national health care system)[ 1] discrete event simulation and systems of systems modeling text.[ 2] [ 3] [ 4] [ 5]
[ 6] [ 7]
MS4 Me supports the development and simulation of DEVS models via a natural language or Java . Finite Deterministic DEVS[ 8] systems via the use of System Entity Structures,[ 9] systems of systems for simulation. Many different configurations of these systems can be stored and simulated via the use of pruning.[ 9]
^ Bernard P. Zeigler; Ernest Carter; Chungman Seo; et al. (October 2012). Methodology and Modeling Environment for Simulating National Health Care (PDF) . Proceedings of the 2012 AutumnSim Conference on Medical Processes Modeling and Simulation (MPMS) . San Diego, California. ^ Zeigler, Bernard (2012). Guide to Modeling and Simulation of Systems of Systems (Simulation Foundations, Methods and Applications) . Springer. ISBN 978-0857298645 ^ Jeffrey D. Morris (September 2014). CONCEPTUAL MODELING OF A QUANTUM KEY DISTRIBUTION SIMULATION RAMEWORK USING THE DISCRETE EVENT SYSTEM SPECIFICATION (PDF) . Air Force Institute of Technology Air University. Master Sergeant, USA. ^ Jeffrey D Morris; Michael R Grimaila; Douglas D Hodson; et al. (October 2014). The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology (PDF) . SAGE journals . ^ Aznam Yacoub; Maamar el-amine Hamri; Claudia Frydman; et al. (September 2015). Towards an Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event Systems Proceedings of the 27th European Modelling & Simulation Symposium, EMSS 2015 . Bergeggi, Italy. ^ Aznam Yacoub; Maamar el-amine Hamri; Claudia Frydman; et al. (January 2017). Towards an Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event Systems International Journal of Simulation and Process Modelling 12(3/4):313 . ^ Valdemar Vicente Graciano Neto; Lina Garces; Milena Guessi; et al. (January 2017). ASAS: An Approach to Support Simulation of Smart Systems 51 st Hawaii International Conference on System Sciences . Waikoloa, Hawai, USA. ^ "FDDEVS Models" . MS4 Systems, Inc. Retrieved November 14, 2012 .^ a b "System Entity Structures" . MS4 Systems, Inc. Retrieved November 14, 2012 .
