99 search results - page 16 / 20 » Directed Unfolding of Petri Nets |
174
Voted
CMSB
2011
Springer
14 years 5 days 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...
120
click to vote
INFSOF
2008
15 years 10 days ago
2008
The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes. Although intended as a language for connecting web ...
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
—Performance Trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics,...
136
click to vote
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
91
Voted
FAC
2002
15 years 4 days ago
2002
Action calculi, which generalise process calculi such as Petri nets, -calculus and ambient calculus, have been presented in terms of action graphs. We here offer linear action grap...