17 search results - page 1 / 4 » Petri net plans: a formal model for representation and execu... |
ATAL
2008
Springer
13 years 6 months ago
2008
Springer
AIPS
2009
13 years 5 months ago
2009
We provide a theoretical analysis of planning via Petri net unfolding, a novel technique for synthesising parallel plans. Parallel plans are generally valued for their execution f...
CP
1998
Springer
13 years 8 months ago
1998
Springer
The constraint paradigm provides powerful concepts to represent and solve different kinds of planning problems, e. g. factory scheduling. Factory scheduling is a demanding optimiz...
TSMC
1998
13 years 4 months ago
1998
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
ICLP
2010
Springer
13 years 8 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...