Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"Coloured Petri Nets"”.
-
Formal modelling and analysis of safety-critical Interactive systems using Coloured Petri Nets
… a safety-critical system in a single model using Coloured Petri Nets (CPN), then investigating the model to ensure that the system behaves as expected. The approach developed in this thesis has its starting point in several existing, accepted formal specification techniques. From this existing …
-
Modelling and analysis of parallel information systems.
… of such systems. The thesis demonstrates how Petri nets can be used for the modelling and analysis of entity life histories and parallel information systems, place transition nets for the modelling and analysis of entity life histories and coloured Petri nets for the modelling and analysis of …
-
A formalism for describing and simulating systems with interacting components.
… is developed using the formalism of extended coloured Petri nets. This model also gives an indication of the language's descriptive power relative to that of a recognised and well developed technique. Some recognised temporal and structural problems of system event modelling are identified. …
-
Animation-based validation of reactive software systems using behavioural models
… of the users in the system's validation. The Coloured Petri nets (CPNs) modelling language is used as the notation to obtain the behavioural models, due to its natural support for mechanisms like concurrency, synchronisation, and resource sharing and its tool support. The obtained CPN model is …
-
Supernumerary Robotic Limbs : task planning, execution, and prediction-based coordination with the human wearer
… by two coworkers. This was achieved through the Coloured Petri Nets (CPN) tool, which was able to model the collaboration between two coworkers by using the SRL and its operator instead. The second purpose of this work was to evaluate how to implement a sensor suit to establish reliable …
-
Modelling, optimisation and control of series supply chains and production processes
… chain is also developed using timed Hierarchical Coloured Petri Nets (HCPN). This approach considers supply chains as event-driven systems and studies decentralised control structures by analysing the impact of various continuous inventory policies and known forecasting methods followed by supply …