941 search results - page 6 / 189 » Haskell-Coloured Petri Nets |
APN
2005
Springer
14 years 7 days ago
2005
Springer
In the framework of the study and analysis of new flight procedures, we propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertaint...
TSMC
1998
13 years 6 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 ...
DFG
2003
Springer
13 years 12 months ago
2003
Springer
TSMC
2002
13 years 6 months ago
2002
AOSE
2004
Springer
14 years 3 days ago
2004
Springer
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...