131 search results - page 19 / 27 » Petri nets for modelling and analysing trophic networks |
171
Voted
DKE
2011
14 years 4 months ago
2011
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...
110
click to vote
TCAD
1998
15 years 14 days ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
103
click to vote
UML
2004
Springer
15 years 6 months ago
2004
Springer
Several different kinds of performance models can be generated from sets of scenarios that describe typical responses of a system, and their use of resources. The Core Scenario Mod...
110
Voted
IFM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...
ECCC
2000
15 years 19 days ago
2000
A simple extension of standard neural network models is introduced which provides a model for neural computations that involve both firing rates and firing correlations. Such an ex...