We develop a theory of superdense time that encompasses existing uses of superdense time in discrete event simulations and points to new forms that have not previously been explored. A central feature of our development is a set of axioms for superdense time. The sufficiency of these axioms is demonstrated by using them to prove that a general model of a discrete event simulation procedure, expressed in terms of a mathematical system, constitutes a state transition function. Several forms of superdense time, both known and novel, are shown to satisfy the axioms.

中文翻译：

---

迈向仿真模型中的超密集时间理论

我们开发了一种超密集时间理论，该理论涵盖了离散事件模拟中超密集时间的现有用途，并指出了以前未探索过的新形式。我们开发的一个核心特征是一组超密集时间公理。这些公理的充分性通过使用它们来证明用数学系统表示的离散事件模拟过程的一般模型构成状态转移函数来证明。几种形式的超密度时间，无论是已知的还是新颖的，都被证明可以满足这些公理。