Sciweavers

498 search results - page 26 / 100
» On the Category of Petri Net Computations
Sort
View
IHIS
2005
ACM
15 years 6 months ago
Verifying web services composition based on hierarchical colored petri nets
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
Yanping Yang, QingPing Tan, Yong Xiao
123
Voted
CMSB
2007
Springer
15 years 6 months ago
A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
David Gilbert, Monika Heiner, Sebastian Lehrack
93
Voted
CONCUR
2005
Springer
15 years 6 months ago
Merged Processes - A New Condensed Representation of Petri Net Behaviour
Victor Khomenko, Alex Kondratyev, Maciej Koutny, W...
178
Voted
CMSB
2011
Springer
14 years 16 days ago
Coloured stochastic multilevel multiset rewriting
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...
Nicolas Oury, Gordon D. Plotkin
88
Voted
APN
2010
Springer
15 years 4 months ago
GreatSPN Enhanced with Decision Diagram Data Structures
Decision diagrams (DDs) have made their way into Petri net (PN) tools either in the form of new tools (usually designed from scratch to use DDs) or as enhancements to existing tool...
Junaid Babar, Marco Beccuti, Susanna Donatelli, An...