Welcome to the upgraded MacSphere! We're putting the finishing touches on it; if you notice anything amiss, email macsphere@mcmaster.ca

An Investigation of Coloured Petri Nets:Automated Part Cutting Case Study

Simple item page
dc.contributor.advisorJanicki, Ryszard
dc.contributor.authorAdams, Stephen W.
dc.contributor.departmentComputer Scienceen_US
dc.date.accessioned2016-01-05T20:01:43Z
dc.date.available2016-01-05T20:01:43Z
dc.date.issued2016
dc.description.abstractPetri nets are a graphical construction with clearly de ned semantics which can model concurrent communicating systems in a formal manner similar to the way that automata theory can model formal language theory(Petri, 1962). As Dr. Carl Petri found the existing automata insu cient or too cumbersome for describing communicating systems others have found Petri Nets to be too cumbersome for e ectively reasoning about sophisticated, real world systems. In some cases these di culties were overcome by extending the theory of Petri Nets. Dr. Kurt Jensen developed the theory of Coloured Petri Nets (Jensen, 1981) for the purpose of generalizing and simplifying complex Petri Net models. This work incorporates Coloured Petri Nets and other theoretical extensions to describe a real world automated steel cutting system. During the course of this investigation the paper will formalize colours in the language of algebras and examine patterns related to timing conditions.en_US
dc.description.degreeMaster of Science (MSc)en_US
dc.description.degreetypeThesisen_US
dc.description.layabstractPetri nets can provide a graphical explanation of computer systems that have sophisticated communications. The graph has a precise mathematical meaning which allows it to be formally analyzed to prove many interesting properites of the net. There have been many extensions of the theory, some of which are incorporated to this model of an automated steel cutting machine. This thesis also presents the idea of colours, or data types, in the language of algebras.en_US
dc.identifier.urihttp://hdl.handle.net/11375/18678
dc.language.isoenen_US
dc.subjectpetri net, coloured, alegbra, graph, automation, part cuttingen_US
dc.titleAn Investigation of Coloured Petri Nets:Automated Part Cutting Case Studyen_US
dc.typeThesisen_US

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
adams_stephen_w_201403_msc.pdf
Size:
2.02 MB
Format:
Adobe Portable Document Format
Description:
Stephen W. Adams' M.Sc. Thesis
Download

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.68 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Open Access Dissertations and Theses