A SPECIFICATION LANGUAGE TO ASSIST IN ANALYSIS OF DISCRETE EVENT SIMULATION-MODELS

被引：33
|
作者：
OVERSTREET, CM
NANCE, RE
机构：
[1] Old Dominion Univ, Dep of Computer, Science, Norfolk, VA, USA, Old Dominion Univ, Dep of Computer Science, Norfolk, VA, USA
来源：
COMMUNICATIONS OF THE ACM | 1985年 / 28卷 / 02期
关键词：
D O I：
10.1145/2786.2792
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
56
引用
收藏
页码：190 / 201
页数：12
相关论文
共 50 条
  • [31] Coupling stochastic occupant models to building performance simulation using the discrete event system specification formalism
    Gunay, H. Burak
    O'Brien, William
    Beausoleil-Morrison, Ian
    Goldstein, Rhys
    Breslav, Simon
    Khan, Azam
    JOURNAL OF BUILDING PERFORMANCE SIMULATION, 2014, 7 (06) : 457 - 478
  • [32] SIMULATION-MODELS OF COMBINED DISCRETE-CONTINUOUS SYSTEMS USING THE SIMDIS SIMULATION SYSTEM
    HERPER, H
    LORENZ, P
    ZIEMS, D
    SYSTEMS ANALYSIS MODELLING SIMULATION, 1990, 7 (03): : 223 - 232
  • [33] A MODELING LANGUAGE GENERATOR FOR A DISCRETE EVENT SIMULATION LANGUAGE IN MATLAB
    Curry, Guy L.
    Banerjee, Amarnath
    Moya, Hiram
    Jones, Harry L.
    2016 WINTER SIMULATION CONFERENCE (WSC), 2016, : 1013 - 1023
  • [34] A SPECIFICATION LANGUAGE FOR GENERATING INTELLIGENT DISCRETE NEXT-EVENT SIMULATIONS
    BURNS, JR
    INFORMATION AND DECISION TECHNOLOGIES, 1990, 16 (01): : 3 - 13
  • [35] State Attraction Under Language Specification for the Reconfiguration of Discrete Event Systems
    Nooruldeen, Anas
    Schmidt, Klaus Werner
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (06) : 1630 - 1634
  • [36] An extension of discrete event high level specification DECM formal language
    Giambiasi, N
    Paillet, JL
    Jumpamule, W
    SIMULATION IN INDUSTRY 2001, 2001, : 73 - 77
  • [37] A Specification Patterns System for Discrete Event Systems Analysis
    Campos, Jose Creissac
    Machado, Jose
    INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS, 2013, 10
  • [38] Analysis of discrete event systems by simulation of timed Petri net models
    López-Mellado, E
    MATHEMATICS AND COMPUTERS IN SIMULATION, 2002, 61 (01) : 53 - 59
  • [39] Discrete-event simulation and exploratory analysis of network epidemiological models
    Alfas, Muhammad
    Shriyam, Shaurya
    NETWORK MODELING AND ANALYSIS IN HEALTH INFORMATICS AND BIOINFORMATICS, 2023, 12 (01):
  • [40] Discrete-event simulation and exploratory analysis of network epidemiological models
    Muhammad Alfas
    Shaurya Shriyam
    Network Modeling Analysis in Health Informatics and Bioinformatics, 12
12345