dc.date.accessioned | 2013-03-12T08:03:29Z | |
dc.date.available | 2013-03-12T08:03:29Z | |
dc.date.issued | 2004 | en_US |
dc.date.submitted | 2004-10-05 | en_US |
dc.identifier.citation | Yu, Ingrid Chieh. A Layered Approach to Automatic Construction of Large Scale Petri Nets. Hovedoppgave, University of Oslo, 2004 | en_US |
dc.identifier.uri | http://hdl.handle.net/10852/9174 | |
dc.description.abstract | Petri Nets is a formal modelling language for modelling distributed
systems and, in particular, notions of concurrency, non-determinism,
communication and synchronisation. We have shown how Petri Nets
provide a good framework for modelling railway systems, which are large and complex concurrent systems. The thesis consists of three main parts:
- Using Petri Nets to model railway systems with a component based
approach, mostly focusing on the trackwork of the systems.
- Defining an algebraic technique for specifying and automatically
constructing large scale Petri Nets, in the domain of railway
systems.
- Implementing a tool using this technique.
In the thesis, Oslo subway is modelled using Petri Nets and the
benefits of using formal analysis methods on railway systems are
shown. | nor |
dc.language.iso | eng | en_US |
dc.title | A Layered Approach to Automatic Construction of Large Scale Petri Nets : Modelling Railway Systems | en_US |
dc.type | Master thesis | en_US |
dc.date.updated | 2004-10-13 | en_US |
dc.creator.author | Yu, Ingrid Chieh | en_US |
dc.subject.nsi | VDP::420 | en_US |
dc.identifier.bibliographiccitation | info:ofi/fmt:kev:mtx:ctx&ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft.au=Yu, Ingrid Chieh&rft.title=A Layered Approach to Automatic Construction of Large Scale Petri Nets&rft.inst=University of Oslo&rft.date=2004&rft.degree=Hovedoppgave | en_US |
dc.identifier.urn | URN:NBN:no-9926 | en_US |
dc.type.document | Hovedoppgave | en_US |
dc.identifier.duo | 21158 | en_US |
dc.contributor.supervisor | Anders Moen Hagalisletto | en_US |
dc.identifier.bibsys | 042021049 | en_US |
dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/9174/1/HovedOppgave.pdf | |