Sciweavers

638 search results - page 116 / 128
» Animation modeling with petri nets
Sort
View
ACSD
2003
IEEE
151views Hardware» more  ACSD 2003»
14 years 27 days ago
Communicating Transaction Processes
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
Abhik Roychoudhury, P. S. Thiagarajan
AIPS
2007
13 years 10 months ago
itSIMPLE 2.0: An Integrated Tool for Designing Planning Domains
A great effort has been made today in the area of Artificial Intelligence for defining reliable automated planning systems that can be applied in real life applications. That le...
Tiago Stegun Vaquero, Victor Romero, Flavio Tonida...
IJCAI
2001
13 years 9 months ago
CAST: Collaborative Agents for Simulating Teamwork
Psychological studies on teamwork have shown that an effective team often can anticipate information needs of teammates based on a shared mental model. Existing multi-agent models...
John Yen, Jianwen Yin, Thomas R. Ioerger, Michael ...
CAISE
2001
Springer
14 years 3 days ago
Relaxed Soundness of Business Processes
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
Juliane Dehnert, Peter Rittgen
ICEIS
2007
IEEE
14 years 1 months ago
Challenges in Business Process Analysis
Business process analysis ranges from model verification at design-time to the monitoring of processes at run-time. Much progress has been achieved in process verification. Today...
Wil M. P. van der Aalst