Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,669,362 papers from all fields of science
Search
Sign In
Create Free Account
Timed event system
The General System has been described in [Zeigler76] and [ZPK00] with the stand points to define (1) the time base, (2) the admissible input segments…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
Behavior of DEVS
DEVS
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Timed Processes of Interval-Timed Petri Nets
E. Pelz
International Workshop on Concurrency…
2016
Corpus ID: 5773854
In this paper we use partial order semantics to express the truly concurrent behaviour of interval-timed Petri nets (ITPNs) in…
Expand
2015
2015
Nested Timed Automata with Frozen Clocks
Guoqiang Li
,
Mizuhito Ogawa
,
Shoji Yuen
International Conference on Formal Modeling and…
2015
Corpus ID: 15156227
A nested timed automaton (NeTA) is a pushdown system whose control locations and stack alphabet are timed automata (TAs). A…
Expand
2007
2007
Dealing with Dual Anxieties
K. Preston
,
D. Radin
2007
Corpus ID: 55117564
Focusing on time as an issue, research was done to examine the concept of timed examinations as a possible reason for low scores…
Expand
2007
2007
Singleton and geminate stops in Finnish - acoustic correlates
Christopher S. Doty
,
K. Idemaru
,
S. G. Guion
Interspeech
2007
Corpus ID: 6780803
The present study examined a variety of acoustic correlates to the stop length contrast in Finnish beyond the duration of the…
Expand
2002
2002
Matrizen- und zustandsraumreduzierende Verfahren zur Leistungsbewertung großer stochastischer Petrinetze
Jörn Freiheit
2002
Corpus ID: 37530963
The generation of state spaces for discrete-state models, such as stochastic Petri nets, is a necessary step for many types of…
Expand
1998
1998
Modelling real-time multi-tasking systems with timed traces
C. Fidge
1998
Corpus ID: 18677683
We formalise the behaviour of non-preemptive, real-time, multi-tasking systems by expressing the computational components assumed…
Expand
1997
1997
Refinement of infeasible real-time programs
M. Utting
,
C. Fidge
FME
1997
Corpus ID: 60209599
Embedded real-time programs can be succinctly specified using timed traces. Each sequentially executed statement acts to define a…
Expand
1997
1997
Development of a Vegetable IPM Program in a Rice-Based Cropping System
M. Sison
1997
Corpus ID: 56270967
The study was conducted with the objective of developing a pest management scheme in vegetables that is compatible with the…
Expand
1984
1984
Effects of enalapril on timed urinary excretions in healthy adults: a preliminary study
W. Leary
,
A. J. Reyes
,
K. Byl
1984
Corpus ID: 78228810
1975
1975
Reactive hyperaemia of the human lower limb. A comparison between systolic pressure at the ankle after timed circulatory arrest and after exercise in controls and in patients with lower limb…
Myhre Ho
1975
Corpus ID: 77929330