Stefan Haar
ENSEM - INPL , Equipe TRIO
2, Avenue de la forêt de Haye
54516 - Vandoeuvre les Nancy
Stefan.Haar@loria.fr
ALAPEDES meeting
March 30, 1999
The semantics of a (Petri) net - or any concurrent system - is the
space of its behaviors;
differences arise according to the way that behaviour is understood and
encoded.
into two categories: unfolding oriented semantics (such as processes,
Vogler's executions
or Engelfriet's branching processes) represent *local* states and
events, and path oriented semantics
(comprising among others traces and event structures) that register
transitions among global states.
The theory for e.g. model checking logical properties on such structures
is rich and growing; for
quantitative results, as wanted for performance evaluation, more work
needs to be done.
Placiing the theories of heaps and of routing functions - both of which
have been used for PN models of
DEDS - into this context, we discuss several issues for DEDS: which
semantic equivalences can be
used for reductions, how can the path and unfolding viewpoints be
combined,
which semantics allow best to study performance properties for timed and
stochastic
systems, etc.