390 search results - page 61 / 78 » Application of Coloured Petri Nets in System Development |
DKE
2011
13 years 1 days 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...
NAR
2011
12 years 11 months ago
2011
The allele frequency net database (http://www .allelefrequencies.net) is an online repository that contains information on the frequencies of immune genes and their corresponding ...
EDOC
2006
IEEE
14 years 2 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
WSC
2004
13 years 10 months ago
2004
In order to support the conceptualization and specification of simulation models of complex systems, several formalisms or world views exist. Petri nets, differential equations, d...
ICEIS
2007
IEEE
14 years 2 months ago
2007
IEEE
Business process analysis ranges from model verification at design-time to the monitoring of processes at run-time. Much progress has been achieved in process verification. Today...