454 search results - page 42 / 91 » Modeling and analysis of multi-agent systems using petri net... |
APN
2005
Springer
15 years 7 months ago
2005
Springer
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...
124
click to vote
DAC
1999
ACM
16 years 2 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
102
click to vote
PRDC
1999
IEEE
15 years 6 months ago
1999
IEEE
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 ...
TOPNOC
2008
15 years 1 months ago
2008
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...
116
click to vote
SIMUTOOLS
2008
15 years 3 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...