Search Sciweavers | Sciweavers

17

AOSE
2004
Springer

151views Intelligent Agents» more AOSE 2004»

Formal Semantics for AUML Agent Interaction Protocol Diagrams

13 years 11 months ago

Abstract. In this paper we introduce an approach for deﬁning semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...

Lawrence Cabac, Daniel Moldt

claim paper

Read More »

26

click to vote

AWPN
2008

268views Algorithms» more AWPN 2008»

EWFN - A Petri Net Dialect for Tuplespace-Based Workflow Enactment

13 years 7 months ago

Download sunsite.informatik.rwth-aachen.de

Abstract Petri nets are a formalism for describing systems where interactions between active components

Daniel Martin, Daniel Wutke, Frank Leymann

claim paper

Read More »

15

click to vote

SG
2010
Springer

142views Computer Graphics» more SG 2010»

Interactive Design and Simulation of Net Sculptures

13 years 3 months ago

Download people.csail.mit.edu

We present a graphical user interface that allows an artist to virtually design and visualize net sculptures. Net sculptures consist of net pieces that are seamlessly connected to ...

Grigore D. Pintilie, Peter Heppel, Janet Echelman

claim paper

Read More »

14

click to vote

CONCUR
2009
Springer

104views Distributed And Parallel Com...» more CONCUR 2009»

Encoding Asynchronous Interactions Using Open Petri Nets

14 years 5 days ago

Download www.math.unipd.it

Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...

Paolo Baldan, Filippo Bonchi, Fabio Gadducci

claim paper

Read More »

9

click to vote

MCS
2006
Springer

102views Pattern Recognition» more MCS 2006»

Modelling of an interactive system with an agent-based architecture using Petri nets, application of the method to the supervisi

13 years 5 months ago