返回Google圖書搜尋

Safety Preserving Transformations of Coloured Petri Nets

出版	Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 2000
URL	http://books.google.com.hk/books?id=IesVSwAACAAJ&hl=&source=gbs_api

註釋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 propsed 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."