Model-based development of a course of action scheduling tool

This publication has 9 references indexed in Scilit:

• Resource-Optimal Scheduling Using Priced Timed Automata
  Lecture Notes in Computer Science, 2004
• Model-Based Development: Combining Engineering Approaches and Formal Techniques
  Lecture Notes in Computer Science, 2004
• Application of Coloured Petri Nets in System Development
  2004
• Promela Planning
  2003
• Efficient Path Finding with the Sweep-Line Method Using External Storage
  Lecture Notes in Computer Science, 2003
• TIMES b— A Tool for Modelling and Implementation of Embedded Systems
  2002
• The practitioner's guide to coloured Petri nets
  International Journal on Software Tools for Technology Transfer, 1998
• The state explosion problem
  1998
• Informal Introduction to Coloured Petri Nets
  1992