Search for student projects

Education
Publication year
to
  1. 2019
  2. Application of Timed-Arc Colored Petri Net for Network Update Synthesis

    Niels Christensen, Mark Glavind

    Computer Science, Master, (Master Programme) 4. term, 2019

    Student thesis: Master thesis (including HD thesis)

  3. 2018
  4. Adaptive Storage Rearrangement and Process Discovery in a Warehouse

    Gideon Jonas Baumann Blegmand, Christian Stephansen

    Software, Master, (Master Programme) 4. term, 2018

    Student thesis: Master thesis (including HD thesis)

  5. Efficient Unfolding and Approximation of Colored Petri Nets with Inhibitor Arcs

    Andreas Hairing Klostergaard

    Computer Science, Master, (Master Programme) 4. term, 2018

    Student thesis: Master thesis (including HD thesis)

  6. 2017
  7. A Simplified and Stubborn Approach to CTL Model Checking of Petri Nets

    Mads Johannsen, Jakob Dyhr, Frederik Meyer Bønneland

    Computer Science, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  8. Improving the Model Checking Activity - H-UPPAAL: A New Integrated Development Environment for Model Checking

    Niklas Kirk Mouritzsen, Rasmus Holm Jensen

    Software, Master, (Master Programme) 4. term, 2017

    Student thesis: Master thesis (including HD thesis)

  9. 2016
  10. Marine Litter in Greenland

    Trine Skovgaard Kirkfeldt

    Urban, Energy and Environmental Planning, Master, (Master Programme) 4. Term, 2016

    Student thesis: Master thesis (including HD thesis)

  11. Soundness, Structural Reductions, and Resource Extensions for Modal Workflow Nets

    Jacob Buchreitz Harbo

    Computer Science (IT), Master, (Master Programme) 4. term, 2016

    Student thesis: Master thesis (including HD thesis)

  12. 2015
  13. Compositional Analysis of Timed-arc Resource Workflows with Communication

    Christoffer Moesgaard, Sine Viesmose Birch

    Computer Science, Master, (Master Programme) 4. term, 2015

    Student thesis: Master thesis (including HD thesis)

  14. 2014
  15. The Architecture of Urban Aquaculture

    Elias Melvin Christiansen

    Architecture, Master, (Master Programme) 4. term, 2014

    Student thesis: Master thesis (including HD thesis)

  16. 2012
  17. Architecture and tourism in outskirt areas (long master thesis): Lofoten Sea Culture Centre + The Black Tower in Hirtshals

    Randi Elisabeth Knudsen, Stina Holm Jensen

    Architecture, Master, (Master Programme) 4. term, 2012

    Student thesis: Master thesis (including HD thesis)

  18. 2011
  19. Forside_net.jpg

    Infill i middelalderbyen: Bæredygtig fortætning af byen

    Rasmus Brusgaard Hansen

    Architecture, Master, (Master Programme) 4. term, 2011

    Student thesis: Master thesis (including HD thesis)

  20. Reachability Analysis for Timed Models using Max-Plus Algebra

    Qi Lu, Michael Madsen, Søren Ravn

    Computer Science, Master, (Master Programme) 2. term, 2011

    Student thesis: Master thesis (including HD thesis)

  21. Reengineering a trans-national process through IT automation

    Giovanni Porcu

    International Technology Management, M.Sc., 10. term, 2011

    Student thesis: Master thesis (including HD thesis)

  22. 2010
  23. Modeling and Verification of Extended Timed-Arc Petri Nets

    Morten Jacobsen, Lasse Jacobsen, Mikael H. Møller

    Computer Science, Master, (Master Programme) 4. term, 2010

    Student thesis: Master thesis (including HD thesis)

  24. Modeling and Verification of Timed-Arc Petri Net

    Morten Jacobsen, Lasse Jacobsen, Mikael Harkjær Møller

    Computer Science, Master, (Master Programme) 2. term, 2010

    Student thesis: Master thesis (including HD thesis)

  25. 2005
  26. Automatic Translation of Timed-Arc Petri Nets to Timed Automata

    Ye Tian, Krishna Prasad Gundam

    Master Software Systems Engineering SSE, 10. Term, 2005

    Student thesis: Master thesis (including HD thesis)

  27. On Deciding Behavioral Properties for Petri Nets : Timed-Arc Petri Nets and their Extensions

    Ragnhildur Þórunn Óskarsdóttir, Sigmar Stefánsson, Tómas Jónasson

    Master Software Systems Engineering SSE, 10. Term, 2005

    Student thesis: Master thesis (including HD thesis)