Sciweavers

454 search results - page 3 / 91
» Modeling and analysis of multi-agent systems using petri net...
Sort
View
INFSOF
2002
85views more  INFSOF 2002»
13 years 6 months ago
A methodology of testing high-level Petri nets
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
Hong Zhu, Xudong He
ATAL
2004
Springer
14 years 15 days ago
Motion and Episode Models for (Simulated) Football Games: Acquisition, Representation, and Use
One of the key problems in the study of multi agent systems in which the agents exhibit continuous behavior is the automatic recognition and analysis of intentional activities bas...
Michael Beetz, Thomas Stammeier, Sven Flossmann
ATVA
2007
Springer
153views Hardware» more  ATVA 2007»
14 years 1 months ago
Continuous Petri Nets: Expressive Power and Decidability Issues
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
Laura Recalde, Serge Haddad, Manuel Silva
EMSOFT
2005
Springer
14 years 19 days ago
A structural approach to quasi-static schedulability analysis of communicating concurrent programs
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
Cong Liu, Alex Kondratyev, Yosinori Watanabe, Albe...