maddogmiller's workflow [11 articles] Export

Recent papers added to maddogmiller's library classified by the tag workflow. You can also see everyone's workflow.

	Correctness-Preserving Configuration of Business Process Models [My Copy] Fundamental Approaches to Software Engineering (2008), pp. 46-61. by Wil van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur Ter Hofstede, Marcello La Rosa, Jan Mendling posted to workflow by maddogmiller on 2009-08-07 20:32:31 as along with 2 people hwang StFX_Logic
	Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis [My Copy] Business Process Management (2006), pp. 389-394. by M. Wynn, W. van der Aalst, A. Ter Hofstede, D. Edmond posted to workflow by maddogmiller on 2009-08-07 20:05:14 as
	History-Dependent Petri Nets [My Copy] Petri Nets and Other Models of Concurrency – ICATPN 2007 (2007), pp. 164-183. by Kees van Hee, Alexander Serebrenik, Natalia Sidorova, Wil van der Aalst posted to workflow by maddogmiller on 2009-08-07 15:55:01 as
	Petri Net Theory and the Modeling of Systems [My Copy] (1981) by James L. Peterson posted to workflow by maddogmiller on 2009-08-07 15:51:16 as along with 1 person and 1 group wnpx StFX Centre for Logic and Information
	Adaptive Workflows for Healthcare Information Systems [My Copy] Business Process Management Workshops (2008), pp. 359-370. by Kees van Hee, Helen Schonenberg, Alexander Serebrenik, Natalia Sidorova, Jan van der Werf posted to workflow by maddogmiller on 2009-08-07 15:50:55 as along with 1 person jago
	Reactive Petri Nets for Workflow Modeling [My Copy] In Application and Theory of Petri Nets 2003, Vol. 2679 (2003), pp. 296-315. by Rik Eshuis, Juliane Dehnert posted to workflow by maddogmiller on 2009-08-07 15:34:46 as along with 1 group StFX Centre for Logic and Information
	Timed Automata: Semantics, Algorithms and Tools [My Copy] Lectures on Concurrency and Petri Nets (2004), pp. 87-124. by Johan Bengtsson, Wang Yi posted to workflow by maddogmiller on 2009-08-07 14:50:55 as along with 5 people and 1 group dwei98 streetlightios yoriyuki keigoi msakai StFX Centre for Logic and Information
	Formalization and Verification of Event-driven Process Chains [My Copy] (1999) by W. M. P. van der Aalst posted to workflow by maddogmiller on 2009-08-07 14:33:52 as
	UML Activity Diagrams as a Workflow Specification Language [My Copy] In \guillemotleftUML' '01: Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (2001), pp. 76-90. by Marlon Dumas, Arthur H. M. Ter Hofstede posted to workflow by maddogmiller on 2009-08-07 14:26:36 as along with 1 person richardmitchell
	Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems [My Copy] International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 3. (1 June 2007), pp. 213-254. by Kurt Jensen, Lars Kristensen, Lisa Wells posted to modeling verification workflow by maddogmiller on 2009-06-22 16:54:44 as along with 4 people and 1 group tropic wells pverstra ANDREKOEHLER StFX Centre for Logic and Information
	Three Good Reasons for Using a Petri-net-based Workflow Management System [My Copy] (1996) by W. M. P. van der Aalst posted to workflow by maddogmiller on 2009-06-22 14:02:54 as along with 1 group StFX Centre for Logic and Information

Note: You may cite this page as: http://www.citeulike.org/user/maddogmiller/tag/workflow

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

workflow	11
agents	10
modeling	4
verification	4
ontology	3
timed_systems	3
reading_group	1

maddogmiller's workflow [11 articles] Export

maddogmiller's tags