-
1
-
-
0028550483
-
Putting Petri nets to work in industry
-
W. Aalst. Putting Petri nets to work in industry. Computers in Industry, 25(1):45.54, 1994.
-
(1994)
Computers in Industry
, vol.25
, Issue.1
, pp. 45-54
-
-
Aalst, W.1
-
2
-
-
0038315923
-
Business process execution language (bpel) for web services version 1.1
-
T. Andrew, F. Curbera, H. Dholakia, Y. Goland, and et al. Business process execution language (bpel) for web services version 1.1. Technical report, IBM, 2003.
-
(2003)
Technical Report IBM
-
-
Andrew, T.1
Curbera, F.2
Dholakia, H.3
Goland, Y.4
-
3
-
-
33644875299
-
Genbank
-
D. Benson, I. Karsch-Mizrachi, D. Lipman, J. Ostell, and D. Wheeler. Genbank. Nucleic Acids Res., 34:D16.20, 2006.
-
(2006)
Nucleic Acids Res.
, vol.34
-
-
Benson, D.1
Karsch-Mizrachi, I.2
Lipman, D.3
Ostell, J.4
Wheeler, D.5
-
4
-
-
0033954256
-
Wildfire: Distributed, grid-enabled workflow construction and execution
-
H. Berman, J. Westbrook, Z. Feng, G. Gilliland, T. Bhat, W. H., S. I.N., and B. P.E. Wildfire: distributed, grid-enabled workflow construction and execution. Nucleic Acids Res., 28(1):235.42, 2000.
-
(2000)
Nucleic Acids Res.
, vol.28
, Issue.1
, pp. 235-242
-
-
Berman, H.1
Westbrook, J.2
Feng, Z.3
Gilliland, G.4
Bhat, T.5
H, S.I.N.W.6
P, E.B.7
-
5
-
-
0033683191
-
Deriving test plans from architectural descriptions
-
A. Bertolino, F. Corradini, P. Inverardi, and H. Muccini. Deriving test plans from architectural descriptions. In ICSE, pages 220.229, 2000.
-
(2000)
ICSE
, pp. 220-229
-
-
Bertolino, A.1
Corradini, F.2
Inverardi, P.3
Muccini, H.4
-
7
-
-
24944534519
-
Hermes: Agent-based middleware for mobile computing
-
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Advanced Lectures
-
F. Corradini and E. Merelli. Hermes: agent-based middleware for mobile computing. In Mobile Computing, volume 3465, pages 234.270. LNCS, 2005. (Pubitemid 41312741)
-
(2005)
Lecture Notes in Computer Science
, vol.3465
, pp. 234-270
-
-
Corradini, F.1
Merelli, E.2
-
10
-
-
4544223617
-
Brain meets brawn: Why grid and agents need each other
-
IEEE Computer Society
-
I. T. Foster, N. R. Jennings, and C. Kesselman. Brain meets brawn: Why grid and agents need each other. In AAMAS, pages 8.15. IEEE Computer Society, 2004.
-
(2004)
AAMAS
, pp. 8-15
-
-
Foster, I.T.1
Jennings, N.R.2
Kesselman, C.3
-
11
-
-
84868636627
-
-
A. Group. Vtl reference guide. http://jakarta.apache.org/velocity/docs/ vtl-reference-guide.html.
-
Vtl Reference Guide
-
-
-
12
-
-
18244363330
-
Cyberinfrastructure for e-Science
-
DOI 10.1126/science.1110410
-
T. Hey and A. E. Trefethen. Cyberinfrastructure for e-Science. Science, 308(5723):817.821, 2005. (Pubitemid 40629255)
-
(2005)
Science
, vol.308
, Issue.5723
, pp. 817-821
-
-
Hey, T.1
Trefethen, A.E.2
-
13
-
-
0003062036
-
An agent-based approach for building complex software systems
-
N. R. Jennings. An agent-based approach for building complex software systems. Commun. ACM, 44(4):35.41, 2001.
-
(2001)
Commun. ACM
, vol.44
, Issue.4
, pp. 35-41
-
-
Jennings, N.R.1
-
14
-
-
0007046816
-
Coloured Petri Nets. Basic concept, analysis methods and practical use
-
Springer-Verlag, Berlin
-
K. Jensen. Coloured Petri Nets. Basic concept, analysis methods and practical use. EATCS monographs on Theoretical Computer Science. Springer-Verlag, Berlin, 1996.
-
(1996)
EATCS Monographs on Theoretical Computer Science
-
-
Jensen, K.1
-
15
-
-
0024645936
-
Petri nets: Properties, analysis and applications
-
April
-
T. Murata. Petri nets: Properties, analysis and applications. In Proceedings of the IEEE, volume 77, pages 541.580, April 1989.
-
(1989)
Proceedings of the IEEE
, vol.77
, pp. 541-580
-
-
Murata, T.1
-
16
-
-
0004068620
-
-
PhD thesis, Institut f ür instrumentelle Matematik, Bonn
-
C. A. Petri. Kommunikation mit Automaten. PhD thesis, Institut f ür instrumentelle Matematik, Bonn, 1962.
-
(1962)
Kommunikation Mit Automaten
-
-
Petri, C.A.1
-
17
-
-
84868631914
-
-
Sun. Java architecture for xml binding (jaxb). http://java.sun.com/ webservices/jaxb/.
-
-
-
-
19
-
-
0037411286
-
Workflow patterns
-
W. M. P. van der Aalst, A. H. M. ter Hofstede, B. Kiepuszewski, and A. P. Barros. Workflow patterns. Distributed and Parallel Databases, 14(1):5.51, 2003.
-
(2003)
Distributed and Parallel Databases
, vol.14
, Issue.1
, pp. 5-51
-
-
Aalst Der Van, W.M.P.1
Ter Hofstede, A.H.M.2
Kiepuszewski, B.3
Barros, A.P.4
-
20
-
-
0742303619
-
Multiagent systems with workflows
-
J. M. Vidal, P. A. Buhler, and C. Stahl. Multiagent systems with workflows. IEEE Internet Computing, 8(1):76.82, 2004.
-
(2004)
IEEE Internet Computing
, vol.8
, Issue.1
, pp. 76-82
-
-
Vidal, J.M.1
Buhler, P.A.2
Stahl, C.3
-
21
-
-
0003479190
-
Workflow management coalition terminology and glossary
-
WfMC, Workflow Management Coalition
-
WfMC. Workflow management coalition terminology and glossary. Technical Report WFMC-TC-1011, Workflow Management Coalition, 1999.
-
(1999)
Technical Report WFMC-TC-1011
-
-
|