297 search results - page 13 / 60 » Validation of an agent based system using Petri Nets |
155
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
149
click to vote
CIMCA
2008
IEEE
16 years 13 days ago
2008
IEEE
We introduce a language for the representation of a subset of strategic interactions. The representation is based on petri nets. Representable games are restricted to have a fini...
158
click to vote
HICSS
2006
IEEE
16 years 9 hour ago
2006
IEEE
In terms of the progress of the industry, the velocity and dynamic nature of the global environment, has caused serious damage and diminished our earth’s resources. A lot of eff...
170
click to vote
CPE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents TimeNET, a software tool for the modelling and performability evaluation using stochastic Petri nets. The tool has been designed especially for models...
181
click to vote
WSC
1997
15 years 7 months ago
1997
Scheduling of a construction project requires: a) hierarchical decomposition of the project; b) incorporation of risk and uncertainty in the activity time and cost estimates; and ...