941 search results - page 12 / 189 » Haskell-Coloured Petri Nets |
TCS
2011
13 years 1 months ago
2011
Models of biological systems and phenomena are of high scientific interest and practical relevance, but not always easy to obtain due to their inherent complexity. To gain the re...
AWPN
2008
13 years 8 months ago
2008
Abstract Petri nets are a formalism for describing systems where interactions between active components
ICARCV
2006
IEEE
14 years 23 days ago
2006
IEEE
—This paper introduces an integrated modeling and analysis formalism based on colored Petri nets (CPNs) for supply chain configuration and evaluation. The structural changes of d...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
– This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use condit...
CNSR
2006
IEEE
14 years 24 days ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...