305 search results - page 19 / 61 » Petri Net Analysis Using Decision Diagrams |
PR
2010
14 years 7 months ago
2010
ATAL
2004
Springer
15 years 2 months ago
2004
Springer
In open distributed multi-agent systems, agents often coordinate using standardized agent communications. Thus, representing agent conversations is an important aspect of multi-age...
AIIDE
2008
14 years 11 months ago
2008
Petri Nets can be used for a retrospective analysis of a computer game story, for representing plots in serious games as well as for monitoring the course of the story, as recentl...
APN
2008
Springer
14 years 11 months ago
2008
Springer
HYPENS is an open source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab to allow designer and user to take advantage of several...
APSEC
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...