357 search results - page 53 / 72 » On the Model of Computation of Place Transition Petri Nets |
CONCUR
2006
Springer
13 years 11 months ago
2006
Springer
Event structures have been used for giving true concurrent semantics to languages and models of concurrency such as CCS, Petri nets and graph grammars. Although certain nominal cal...
CMSB
2011
Springer
12 years 7 months ago
2011
Springer
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...
ENTCS
2007
13 years 7 months ago
2007
The first and the second author introduced reversible ccs (rccs) in order to model concurrent computations where certain actions are allowed to be reversed. Here we t the core of...
PDPTA
2008
13 years 9 months ago
2008
- The rising popularity of Mobile Computing creates new methods for accessing Web content. At the same time Really Simple Syndication (RSS) feed is another new trend of constantly ...
ICRA
2000
IEEE
13 years 12 months ago
2000
IEEE
In this paper we deal with the problem of allocating a given number of tokens, so as to maximize the firing rate of a cyclic event graph with deterministic transition firing delay...