131 search results - page 6 / 27 » Petri nets for modelling and analysing trophic networks |
APN
2004
Springer
15 years 2 months ago
2004
Springer
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...
HICSS
1995
IEEE
15 years 1 months ago
1995
IEEE
In our research we are developing methodologiesand tools to permit stochastic analyses of CSP-based system specifications. In this regard, we have been developing morphismsbetween...
ICNP
1995
IEEE
15 years 1 months ago
1995
IEEE
81
Voted
MASCOTS
2003
14 years 11 months ago
2003
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
SMC
2007
IEEE
15 years 3 months ago
2007
IEEE
— In this paper we present a performance evaluation of interpreted and centralized implementation techniques of Petri nets. These implementation techniques allow the translation ...