941 search results - page 7 / 189 » Haskell-Coloured Petri Nets |
APN
2004
Springer
14 years 3 days ago
2004
Springer
This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological sys
INFSOF
2002
13 years 6 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
MFCS
2010
Springer
13 years 5 months ago
2010
Springer
We prove that coverability and termination are not primitive-recursive for lossy counter machines and for Reset Petri nets.
EMSOFT
2005
Springer
14 years 7 days ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
IWIA
2006
IEEE
14 years 22 days ago
2006
IEEE
The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...