Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Time Petri Nets with Dynamic Firing Dates: Semantics and Applications   We define an extension of time Petri nets such that the time at which a
transition can fire, also called its firing date, may be dynamically updated.
Our extension provides two mechanisms for updating the timing constraints of a
net. First, we propose to change the static time interval of a transition each
time it is newly enabled; in this case the new time interval is given as a
function of the current marking. Next, we allow to update the firing date of a
transition when it is persistent, that is when a concurrent transition fires.
We show how to carry the widely used state class abstraction to this new kind
of time Petri nets and define a class of nets for which the abstraction is
exact. We show the usefulness of our approach with two applications: first for
scheduling preemptive task, as a poor man's substitute for stopwatch, then to
model hybrid systems with non trivial continuous behavior.

34
The categories of this paper are: chem-ph
27
The categories of this paper are: comp-gas
13
The categories of this paper are: quant-ph
33
The categories of this paper are: plasm-ph
3
The categories of this paper are: physics
11
The categories of this paper are: hep-lat
15
The categories of this paper are: nucl-ex
26
The categories of this paper are: bayes-an
18
The categories of this paper are: econ
31
The categories of this paper are: ao-sci
14
The categories of this paper are: math-ph
25
The categories of this paper are: patt-sol
7
The categories of this paper are: hep-th
4
The categories of this paper are: cond-mat
2
The categories of this paper are: math
21
The categories of this paper are: adap-org