Jörg Desel (Universität Eichstätt):
Partial-Order Based Simulation of Petri Nets
Whereas partial orders have been extensively studied as a semantics
for models
of distributed systems, they are nearly unknown in practical applications.
This observation holds in particular for Petri nets models. The project
VIP
(supported by DFG) aims at developing a simulation methodology for
Petri net models in the area of information systems, which is based
on
the systematic construction and analysis of partially ordered runs.
This contribution is devoted to the results obtained within the VIP-project.
In particular, it will be shown how the VIP-tool can be used both for
the
validation and verification and for quantitative analysis of
Petri net models.
Colloquium home page
