Modelling Concurrent Systems with Object-Oriented Coloured Petri Nets

Wu, Angela

Please use this identifier to cite or link to this item: http://hdl.handle.net/11375/19981

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Janicki, Ryszard	-
dc.contributor.author	Wu, Angela	-
dc.date.accessioned	2016-07-28T22:28:33Z	-
dc.date.available	2016-07-28T22:28:33Z	-
dc.date.issued	2003	-
dc.identifier.uri	http://hdl.handle.net/11375/19981	-
dc.description.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>	en_US
dc.language.iso	en_US	en_US
dc.subject	concurrent systems, object-oriented, coloured petri nets, network, modularity, class, inheritance, polymorphism	en_US
dc.title	Modelling Concurrent Systems with Object-Oriented Coloured Petri Nets	en_US
dc.type	Thesis	en_US
dc.contributor.department	Computing and Software	en_US
dc.description.degreetype	Thesis	en_US
dc.description.degree	Master of Science (MSc)	en_US
Appears in Collections:	Open Access Dissertations and Theses

Files in This Item:

File	Description	Size	Format
Wu_Angela_2003_Masters..pdf Open Access		2.46 MB	Adobe PDF	View/Open

Show simple item record