Time Processes for Time Nets

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Tuomas Aura, Johan Lilius
Förläggare: Springer-Verlag
Publiceringsår: 1997
Förläggare: Springer
Moderpublikationens namn: Application and Theory of Petri Nets 1997
Seriens namn: Lecture Notes in Computer Science
Nummer i serien: 1248
Volym: 1248
Artikelns första sida, sidnummer: 136
Artikelns sista sida, sidnummer: 155
ISBN: 978-3-540-63139-2
eISBN: 978-3-540-69187-7
ISSN: 0302-9743


Abstrakt

The
objective
of
this
work
is
to
give
Merlin's
time
Petri
nets
a
partial
order
semantics
based
on
the
nonsequential
process
semantics
for
untimed
net
systems.
A
time
process
of
a
time
Petri
net
is
defined
as
a
traditionally
constructed
causal
process
whose
events
are
labeled
with
occurrence
times.
In
a
valid
timing,
the
occurrence
times
satisfy
specific
criteria
that
arise
from
the
interaction
between
timing
constraints
and
the
causal
ordering
of
events.
The
definitions
lead
to
an
efficient
algorithm
for
checking
the
validness
of
timings.
The
relationship
between
the
firing
schedules
of
a
time
Petri
net
and
the
interleavings
of
time
processes
that
preserve
both
causal
and
temporal
order
is
shown
to
be
bijective.
Also,
a
sufficient
condition
is
given
for
inferring
invalidity
of
timings
from
initial
subprocesses.
Alternatively,
the
valid
timings
can
be
presented
as
sets
of
alternative
linear
constrains.
From
them,
the
existence
of
a
valid
timing
can
be
de-

Senast uppdaterad 2019-20-10 vid 03:05