102 search results - page 2 / 21 » Evolving Concurrent Petri Net Models of Epistasis |
ENASE
2009
13 years 2 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
EMSOFT
2005
Springer
13 years 10 months 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...
INFSOF
2002
13 years 4 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
LICS
2006
IEEE
13 years 10 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
FM
2009
Springer
13 years 11 months ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...