350 search results - page 18 / 70 » Petri Net Analysis Using Invariant Generation |
ATAL
2008
Springer
13 years 12 months ago
2008
Springer
PR
2010
13 years 8 months ago
2010
BMCBI
2010
13 years 10 months ago
2010
Background: The development and simulation of dynamic models of terpenoid biosynthesis has yielded a systems perspective that provides new insights into how the structure of this ...
ATAL
2004
Springer
14 years 3 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 7 days 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...