51 search results - page 4 / 11 » Structural Methods to Improve the Symbolic Analysis of Petri... |
249
click to vote
TSMC
2010
15 years 22 days ago
2010
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
181
click to vote
VALUETOOLS
2006
ACM
15 years 12 months ago
2006
ACM
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
159
click to vote
ACSD
2005
IEEE
15 years 11 months ago
2005
IEEE
Signal Transition Graphs (STGs) are a version of Petri nets for the specification of asynchronous circuit behaviour. It has been suggested to decompose such a specification as a...
130
click to vote
APN
2005
Springer
15 years 11 months ago
2005
Springer
stract Interpretation Robert Claris´o, Enric Rodr´ıguez-Carbonell, and Jordi Cortadella Universitat Polit`ecnica de Catalunya, Barcelona, Spain Abstract interpretation is a para...
194
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...