6 search results - page 1 / 2 » How to Calculate Symmetries of Petri Nets |
ACTA
2000
13 years 4 months ago
2000
Symmetric net structure yields symmetric net behaviour. Thus, knowing the symmetries of a net, redundant calculations can be skipped. We present a framework for the calculation of ...
FSTTCS
2008
Springer
13 years 5 months ago
2008
Springer
The unfolding of (1-)safe Petri nets to occurrence nets is well understood. There is a universal characterization of the unfolding of a safe net which is part and parcel of a core...
FMSB
2008
13 years 6 months ago
2008
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
CAISE
2008
Springer
13 years 6 months ago
2008
Springer
Quality aspects become increasingly important when business process modeling is used in a large-scale enterprise setting. In order to facilitate a storage without redundancy and an...
BROADNETS
2006
IEEE
13 years 10 months ago
2006
IEEE
This paper studies the system parameters that affect the total cost of managing the multicast group on a router. A Petri net model is first proposed to describe the states and tra...