Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/19981| Title: | Modelling Concurrent Systems with Object-Oriented Coloured Petri Nets |
| Authors: | Wu, Angela |
| Advisor: | Janicki, Ryszard |
| Department: | Computing and Software |
| Keywords: | concurrent systems, object-oriented, coloured petri nets, network, modularity, class, inheritance, polymorphism |
| Publication Date: | 2003 |
| Abstract: | <p> This thesis presents a new modelling technique for the complex current system. It integrates object-oriented methodology into Petri Nets formalism.</p> <p> Petri Nets are used for modelling concurrent systems. They have natural graphical representation as well as formal specifications. They have been successfully used in various industrial applications. But with the development of distributed and network systems, their traditional weakness, namely their inadequate support for compositionality, is a big obstacle to their practical use for large, complex systems. To address this problem, we introduce the Object-Oriented Coloured Petri Nets (OO-CPN), which integrates the powerful modularity of an object-oriented paradigm into Petri Nets formalism. OO-CPN is based on Coloured Petri Nets and supports the concepts of object, class, inheritance and polymorphism.</p> |
| URI: | http://hdl.handle.net/11375/19981 |
| Appears in Collections: | Open Access Dissertations and Theses |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Wu_Angela_2003_Masters..pdf | 2.46 MB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.
