28 search results - page 6 / 6 » From OWL-S Descriptions to Petri Nets |
VALUETOOLS
2006
ACM
13 years 11 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...
FM
2009
Springer
13 years 12 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
ICECCS
1995
IEEE
13 years 8 months ago
1995
IEEE
When trying to describe the behaviour of large systems, such as the business processes of large enterprises, we often adopt diagramming techniques based on derivatives of data flo...