Petri net + Nested relational calculus = Dataflow

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3760 LNCS, Issue , 2005, Pages 220-237

  Hidders, Jan ^a   Kwasnikowska, Natalia ^b   Sroka, Jacek ^c   Tyszkiewicz, Jerzy ^c   Van Den Bussche, Jan ^b  

^a UNIVERSITY OF ANTWERP   (Belgium)

^b HASSELT UNIVERSITY   (Belgium)

^c UNIVERSITY OF WARSAW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

DATA HANDLING; DATA TRANSFER; DATABASE SYSTEMS; HIERARCHICAL SYSTEMS; ITERATIVE METHODS; QUERY LANGUAGES;

DATA COLLECTION; DATAFLOW; GRAPHICAL WORKFLOW LANGUAGE; REFINEMENT RULES;

PETRI NETS;

EID: 33646676767     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11575771_16     Document Type: Conference Paper

References (14)

1. van der Aalst W.: The application of petri nets to workflow management. The Journal of Circuits, Systems and Computers (1998) 21-66
2. Valk, R.: Object Petri nets: Using the nets-within-nets paradigm. In: Lectures on Concurrency and Petri Nets. (2003) 819-848
3. Valk, R.: Self-modifying nets, a natural extension of Petri nets. In: ICALP. (1978) 464-476
4. Oberweis, A., Sander, P.: Information system behavior specification by high level petri nets. ACM Trans. Inf. Syst. 14 (1996) 380-420
5. Buneman, P., Naqvi, S., Tannen, V., Wong, L.: Principles of programming with complex objects and collection types. Theoretical Computer Science (1995) 3-48
6. Moggi, E.: Notions of computation and monads. Information and Computation (1991) 55-92
7. Oinn, T., Addis, M., Ferris, J., Marvin, D., Greenwood, M., Carver, T., Wipat, A., Li, P.: Taverna: A tool for the composition and enactment of bioinformatics workflows. Bioinformatics (2004)
8. Object Management Group: Unified modeling language resource page, http:// www.uml.org/
9. Altschul, S., Gish, W., Miller, W., Myers, E., Lipman, D.: Basic local alignment search tool. J. Mol. Biol. (1990) 403-410
10. Boeckmann, B., Bairoch, A., Apweiler, R., Blatter, M., Estreicher, A., et al.: The swiss-prot protein knowledgebase and its supplement trembl in 2003. Nucleic Acids Research 31 (2003) 365-370
11. Rice, P., Longden, I., Bleasby, A.: Emboss: The european molecular biology open software suite (2000). Trends in Genetics 16 (2000) 276-277
12. Chrzastowski-Wachtel, P., Benatallah, B., Hamadi, R., O'Dell, M., Susanto, A.: A top-down petri net-based approach for dynamic workflow modeling. In: Proceedings of Business Process Management: International Conference, BPM 2003. Volume 2678 of Lecture Notes in Computer Science., Springer (2003) 336-353
13. Gambin, A., Hidders, J., Kwasnikowska, N., Lasota, S., Sroka, J., Tyszkiewicz, J., Van den Bussche, J.: NRC as a formal model for expressing bioinformatics workflows. Poster at ISMB 2005 (2005)
14. Dumont, D., Noben, J., Raus, J., Stinissen, P., Robben, J.: Proteomic analysis of cerebrospinal fluid from multiple sclerosis patients. Proteomics 4 (2004)