Sciweavers

346 search results - page 12 / 70
» Interaction Nets
Sort
View
CNSR
2006
IEEE
136views Communications» more  CNSR 2006»
15 years 3 months ago
Combining Petri Nets and ns-2: A Hybrid Method for Analysis and Simulation
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
Qiang Ye, Mike H. MacGregor
ICLP
2010
Springer
15 years 1 months ago
Structured Interactive Musical Scores
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...
Mauricio Toro-Bermudez
SMC
2007
IEEE
150views Control Systems» more  SMC 2007»
15 years 4 months ago
Modeling and analysis of multi-agent systems using petri nets
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...
Jose R. Celaya, Alan A. Desrochers, Robert J. Grav...
APN
2003
Springer
15 years 3 months ago
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets
CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manua...
Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, ...
AOSE
2005
Springer
15 years 3 months ago
Hermes: Designing Goal-Oriented Agent Interactions
Interactions between agents are traditionally specified as interaction protocols using notations such as Petri nets, AUML, or finite state machines. These protocols are a poor ...
Christopher Cheong, Michael Winikoff