Upload_transparent

Formal Requirements Modeling for Reactive Systems with Coloured Petri Nets

 
 
 
 
 
Value This
Doc
Scribd
Average
     
Pages: 280 43
Words: 101614 13640
Characters: 632263 81678
Lines: 3948 623
     
     
Letters per word: 6.22 5.99
Words per line: 25.74 21.89
Words per page: 362.91 317.21

Add to your reading list

Flag_red Flag this document

Document Information

838 Reads | 0 Comments

Description

This dissertation presents the contributions of seven publications all concerned with the application of Coloured Petri Nets (CPN) to requirements modeling for reactive systems. The publications are introduced along with relevant background material and related work, and their contributions to addressing a collection of generic challenges for requirements modeling are discussed.

Pdf_16x16 280 Pages


Date Added

02/18/2009

Category
Tags
Groups
Copyright

Traditional Copyright: All rights reserved

More info »

 

or use Facebook Connect