DMCA
Safety Preserving Transformations of Coloured Petri Nets (2000)
| Citations: | 5 - 3 self |
BibTeX
@TECHREPORT{Padberg00safetypreserving,
author = {Julia Padberg and Maike Gajewsky},
title = {Safety Preserving Transformations of Coloured Petri Nets},
institution = {},
year = {2000}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In this paper a formal technique for refining Coloured Petri Nets within the software development process is introduced. This technique -- called rule-based refinement -- is based on rules and transformations of Coloured Petri Nets preserving safety properties in the sense of [MP92]. First steps towards this approach have been suggested for algebraic high-level nets [PGE98] and place/transition nets [PGH99] already. The results presented here exceed the previous in the way safety properties can be preserved or even introduced. The proposed rule-based refinement is applied to the development of a traffic control system for illustration. The presented results have been achieved on a more abstract level of typed high-level abstract Petri nets [Pad99a] and transferred to Coloured Petri Nets via instantiation.
