297 search results - page 39 / 60 » Validation of an agent based system using Petri Nets |
CAISE
2008
Springer
15 years 22 days ago
2008
Springer
Quality aspects become increasingly important when business process modeling is used in a large-scale enterprise setting. In order to facilitate a storage without redundancy and an...
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
In hedonic games, players have the opportunity to form coalitions, and have preferences over the coalitions they might join. Such games can be used to model a variety of settings ...
ICCAD
1999
IEEE
15 years 3 months ago
1999
IEEE
In this paper, an internal design model called FunState (functions driven by state machines) is presented that enables the representation of different types of system components a...
LICS
1990
IEEE
15 years 2 months ago
1990
IEEE
This paper discusses the relevance of a form of cut elimination theorem for linear logic tensor theories to the concept of a process on a Petri net. We base our discussion on two ...
108
click to vote
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
The Agent-Community-based Peer-to-Peer Information Retrieval (ACP2P) method uses agent communities to manage and look up information of interest to users. An agent works as a dele...