638 search results - page 9 / 128 » Animation modeling with petri nets |
APN
2005
Springer
14 years 1 months 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...
INFSOF
2002
13 years 7 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
BPM
2006
Springer
13 years 9 months ago
2006
Springer
The theory of regions and the algorithms for synthesizing a Petri net model from a transition system, which are based on this theory, have interesting practical applications
TC
1998
13 years 7 months ago
1998
—The achievement of media synchronization has been dealt with in the Object Composition Petri Net (OCPN) model and the extended OCPN (XOCPN) model. Yet these two models are not e...
AOSE
2004
Springer
14 years 1 months 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...