Sciweavers

630 search results - page 71 / 126
» Oclets - Scenario-Based Modeling with Petri Nets
Sort
View
INFORMATICALT
2010
138views more  INFORMATICALT 2010»
13 years 6 months ago
Recognition of Human Emotions in Reasoning Algorithms of Wheelchair Type Robots
This paper analyses the possibilities of integrating different technological and knowledge representation techniques for the development of a framework for the remote control of mu...
Dale Dzemydiene, Antanas Andrius Bielskis, Arunas ...
ICSEA
2006
IEEE
14 years 2 months ago
Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks
—Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used to evaluate a wide range of systems and are supported by several mod...
Mohammad Abdollahi Azgomi, Ali Movaghar
APN
2004
Springer
14 years 2 months ago
An Extensible Editor and Simulation Engine for Petri Nets: Renew
Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration...
Olaf Kummer, Frank Wienberg, Michael Duvigneau, J&...
ATAL
2003
Springer
14 years 2 months ago
A formal compositional model of multiagent interaction
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
Sea Ling, Seng Wai Loke
RP
2009
Springer
110views Control Systems» more  RP 2009»
14 years 3 months ago
Formalisms for Specifying Markovian Population Models
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
Thomas A. Henzinger, Barbara Jobstmann, Verena Wol...