Sciweavers

957 search results - page 114 / 192
» Negotiations and Petri Nets
Sort
View
98
Voted
CIMCA
2008
IEEE
15 years 6 months ago
Multi-Agent Petri-Games
We introduce a language for the representation of a subset of strategic interactions. The representation is based on petri nets. Representable games are restricted to have a fini...
Rustam Tagiew
APN
2008
Springer
15 years 1 months ago
A Monitoring Toolset for Paose
Abstract Paose (Petri net-based Agent-Oriented Software Engineering) combines the paradigm of AOSE (Agent-Oriented Software Engineering, see [10]) with the expressive power of Petr...
Lawrence Cabac, Till Dörges, Heiko Rölke
PRDC
1999
IEEE
15 years 4 months ago
Availability and Performance Evaluation for Automatic Protection Switching in TDMA Wireless System
In this paper, we compare the availability and performance of a wireless TDMA system with and without automatic protection switching. Stochastic reward net models are constructed ...
Hairong Sun, Yonghuan Cao, Kishor S. Trivedi, Jame...
ESM
2000
15 years 1 months ago
Zero-overhead Pr/T-Net execution
Petri Nets and higher order versions like Predicate Transition Nets (Pr/T-Nets) are very suitable for modeling event-oriented discrete and even parallel systems. Obviously, the ne...
Carsten Böke, Markus Hübel, Franz J. Ram...
RP
2009
Springer
110views Control Systems» more  RP 2009»
15 years 6 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...