Sciweavers

297 search results - page 21 / 60
» Validation of an agent based system using Petri Nets
Sort
View
COOPIS
2004
IEEE
15 years 2 months ago
Making Workflow Models Sound Using Petri Net Controller Synthesis
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
Juliane Dehnert, Armin Zimmermann
ATAL
2005
Springer
15 years 4 months ago
A simulator for multi-agent partnership formation based on dependence graphs
The PartNET++ system is an experimental multi-agent-based simulation tool that uses a new model based on hyper-graphs for understanding partnership formation among heterogeneous a...
Júlio de Lima do Rêgo Monteiro, Jaime...
ISEM
2006
167views more  ISEM 2006»
14 years 10 months ago
Agent-based workflow management systems (WfMSs)
Workflow management systems (WfMS) based on agent technology can cope with the rapidly evolving business environment better than most other systems as they are more flexible and op...
Lars Ehrler, Martin K. Fleurke, Maryam Purvis, Bas...
HASE
1999
IEEE
15 years 3 months ago
Automatic Dependability Analysis for Supporting Design Decisions in UML
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
Andrea Bondavalli, Ivan Mura, István Majzik
82
Voted
ENTCS
2006
180views more  ENTCS 2006»
14 years 10 months ago
Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...
Fernando Rosa Velardo, Olga Marroquín Alons...