Model-based development of a course of action scheduling tool

Automated planning theory and practice

Malik Ghallab, Dana Nau, Paolo Traverso · HAL (Le Centre pour la Communication Scientifique Directe) · 2004 · 1.5K citations

Planning, Emergency Planning, Evacuation Planning +13

The practitioner's guide to coloured Petri nets

Lars Michael Kristensen, Søren Christensen, Kurt Jensen · International Journal on Software Tools for Technology Transfer · 1998 · 314 citations

Architecture, Architectural Representation, Diagramming +4

A coloured petri net based tool for course of action development and analysis

Lin Zhang, Lars Michael Kristensen, Chris Janczura et al. · Formal Methods · 2002 · 19 citations

Computing, Computer Science, Systems Engineering +16