11 search results - page 1 / 3 » An approach to Petri net based formal modeling of user inter... |
VRML
2006
ACM
14 years 8 days ago
2006
ACM
VRML
2009
ACM
14 years 24 days ago
2009
ACM
This work discusses a model and an architecture for interactive stories to be displayed on the net, designed for being independent from the specific story represented and suitabl...
AOSE
2004
Springer
13 years 11 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...
CSCWD
2009
Springer
14 years 27 days ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
JSW
2007
13 years 6 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...