Blar i Studentoppgaver (TN-IDE) på emneord "Petri net"

Viser treff 1-4 av 4

    • Developing an online monitor for discrete simulations 

      Salhus, Olav (Masteroppgave/UIS-TN-IDE/2018;, Master thesis, 2018-06)
      This paper covers the design and implementation of a graphical simulation monitoring program. The monitor works in real-time or simulation time. The monitor is compatible with the modelling and simulation tool GPenSIM ...

    • Dynamic enterprise architecture - from static to dynamic models 

      Latifov, Artur (Masteroppgave/UIS-TN-IDE/2012;, Master thesis, 2012)
      Nowadays the most commonly used technologies in Enterprise Architecture modeling are static. BPMN is one of such technologies, which is used widely for drawing models of business processes. Limitation of BPMN is that it ...

    • GUI for petri net coverability tree 

      Wathne, Ronny (Masteroppgave/UIS-TN-IDE/2018;, Master thesis, 2018-06-13)
      Petri nets are a long time established modeling concept for modelling and simulation of discrete-event systems. This thesis concerns the development of tools to perform analysis of Petri nets that contains places that are ...

    • Reasoning techniques used for data processing 

      Kou, Jing (Masteroppgave/UIS-TN-IDE/2010;, Master thesis, 2010)
      In the oil industry, it is very important to know the current status of drilling processes which can be obtained by analyzing the data from sensors on the drilling engines. The data which oil companies get is complicated, ...