27 search results - page 6 / 6 » Transformation of BPMN Models for Behaviour Analysis |
POLICY
2004
Springer
13 years 10 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
APN
1993
Springer
13 years 9 months ago
1993
Springer
In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitives—place capacities, test arcs and inhibitor arcs. The new modelling primitiv...