Theoretical Computer Science
Parallel DEVS: a parallel, hierarchical, modular modeling formalism and its distributed simulator
Transactions of the Society for Computer Simulation International
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Theory of Modeling and Simulation
Theory of Modeling and Simulation
GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems
ISADS '01 Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems
Qualitative verification of finite and real-time DEVS networks
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Hi-index | 0.00 |
This paper investigates the trajectory that represents a patterns of system dynamics. In this paper, a trajectory is concatenations of building blocks, called segments. The mathematical incompleteness of trajectory definitions [12], [13], [4] in terms of lack of explanation for multiple values at boundaries are resolved in this paper by allowing codomain to be not just a set Z, but Z+ that is a set of strings of the set Z. Moreover, relationship of trajectory classes, as well as associating variables are clarified at the end.