Distributed and Parallel Databases
BPM Based Robust E-business Application Development (Practical Experience Report)
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Discovering Workflow Performance Models from Timed Logs
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Compositional Modelling of Workflow Processes
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
Public Process Inheritance for Business-to-Business Integration
TES '02 Proceedings of the Third International Workshop on Technologies for E-Services
GM-WTA: an efficient workflow task allocation method in a distributed execution environment
Journal of Systems and Software
Applying scheduling techniques to minimize the number of late jobs in workflow systems
Proceedings of the 2004 ACM symposium on Applied computing
Toward an integrated framework for modeling enterprise processes
Communications of the ACM - Homeland security
Monitoring and controlling of a multi-agent based workflow system
ACSW Frontiers '04 Proceedings of the second workshop on Australasian information security, Data Mining and Web Intelligence, and Software Internationalisation - Volume 32
Towards a multi-lingual workflow system: a practical outlook
ACSW Frontiers '04 Proceedings of the second workshop on Australasian information security, Data Mining and Web Intelligence, and Software Internationalisation - Volume 32
Process mining: a research agenda
Computers in Industry - Special issue: Process/workflow mining
Mining exact models of concurrent workflows
Computers in Industry - Special issue: Process/workflow mining
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Mapping Dooley Graphs and Commitment Causality to the "-Calculus
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Modelling and verifying web service orchestration by means of the concurrency workbench
ACM SIGSOFT Software Engineering Notes
Mining and Reasoning on Workflows
IEEE Transactions on Knowledge and Data Engineering
An architecture for workflow scheduling under resource allocation constraints
Information Systems
Proceedings of the eleventh ACM SIGKDD international conference on Knowledge discovery in data mining
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
A multiagent system manages collaboration in emergent processes
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Normalized workflow net (NWF-net): its definition and properties
Future Generation Computer Systems
Rule-based workflow management for bioinformatics
The VLDB Journal — The International Journal on Very Large Data Bases
A web services-enabled marketplace architecture for negotiation process management
Decision Support Systems - Special issue: Web services and process management
e-Service Design Using i* and e3value Modeling
IEEE Software
Transactional patterns for reliable web services compositions
ICWE '06 Proceedings of the 6th international conference on Web engineering
Discovering Expressive Process Models by Clustering Log Traces
IEEE Transactions on Knowledge and Data Engineering
Artificial Intelligence in Medicine
Resource-Constrained Workflow Nets
Fundamenta Informaticae
The representation, analysis and verification of business processes: a metagraph-based approach
Information Technology and Management
Mining unconnected patterns in workflows
Information Systems
Business process mining: An industrial application
Information Systems
Exploring the CSCW spectrum using process mining
Advanced Engineering Informatics
Role-based Architectural Modelling of Socio-Technical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Mining process models with non-free-choice constructs
Data Mining and Knowledge Discovery
Journal of Management Information Systems
Conformance checking of processes based on monitoring real behavior
Information Systems
Formal modeling of BPEL workflows including fault and compensation handling
Proceedings of the 2007 workshop on Engineering fault tolerant systems
The story of a working workflow management system
Proceedings of the 2007 international ACM conference on Supporting group work
Detection and prediction of errors in EPCs of the SAP reference model
Data & Knowledge Engineering
History-based joins: Semantics, soundness and implementation
Data & Knowledge Engineering
Translating unstructured workflow processes to readable BPEL: Theory and implementation
Information and Software Technology
The importance of business process modeling in software systems design
Science of Computer Programming
A new simple formulation of workflow patterns
Proceedings of the 2007 Summer Computer Simulation Conference
Document access control in organisational workflows
International Journal of Information and Computer Security
A survey of patterns for Service-Oriented Architectures
International Journal of Internet Protocol Technology
Evaluating workflow process designs using cohesion and coupling metrics
Computers in Industry
Modeling and verifying BPEL using synchronized net
Proceedings of the 2008 ACM symposium on Applied computing
Checking Properties of Adaptive Workflow Nets
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Provenance and scientific workflows: challenges and opportunities
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
A stochastic model for workflow QoS evaluation
Scientific Programming - Scientific Workflows
Timed environment for web agents
Web Intelligence and Agent Systems
INCOME2010 - a toolset for developing process-oriented information systems based on petri nets
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
Balancing Quality and Performance of Task Distribution in Workflow Based on Resource Aptitude
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
An Event-Based Model for the Management of Choreographed Services
EC-Web '08 Proceedings of the 9th international conference on E-Commerce and Web Technologies
A simplified framework for stochastic workflow networks
Computers & Mathematics with Applications
On the relationship between workflow models and document types
Information Systems
Applying Patterns during Business Process Modeling
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Modularity in Process Models: Review and Effects
BPM '08 Proceedings of the 6th International Conference on Business Process Management
A Probabilistic Strategy for Setting Temporal Constraints in Scientific Workflows
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Information Supply Mechanisms in Ubiquitous Computing, Crisis Management and Workflow Modelling
HCSE-TAMODIA '08 Proceedings of the 2nd Conference on Human-Centered Software Engineering and 7th International Workshop on Task Models and Diagrams
Beyond Control-Flow: Extending Business Process Configuration to Roles and Objects
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
Applications of Graph Transformations with Industrial Relevance
Message Flow: Design and Architecture of a Message Flow Management System
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
D-Bioflow: uma abordagem para distribuição de dados em workflows de bioinformática
SBBD '08 Proceedings of the 23rd Brazilian symposium on Databases
Research and Implementation on CSCW-Based Workflow Management System
Computer Supported Cooperative Work in Design IV
Process Mining towards Semantics
Advances in Web Semantics I
Executability of scenarios in Petri nets
Theoretical Computer Science
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A novel approach for process mining based on event types
Journal of Intelligent Information Systems
Business Modeling: A Practical Guide to Realizing Business Value
Business Modeling: A Practical Guide to Realizing Business Value
Model-Based Software Engineering and Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II
Construction of Process Models from Example Runs
Transactions on Petri Nets and Other Models of Concurrency II
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets
Web Services and Formal Methods
Temporal mining for interactive workflow data analysis
Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining
Design decisions in workflow management and quality of work
International Journal of Information Systems and Change Management
Using Workflow Medleys to Streamline Exploratory Tasks
SSDBM 2009 Proceedings of the 21st International Conference on Scientific and Statistical Database Management
Analysis of a collaborative workflow process with distributed actors
Information Systems Frontiers
Reasoning about discrete event sources
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Representing and reasoning about commitments in business processes
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Discovering expressive process models from noised log data
IDEAS '09 Proceedings of the 2009 International Database Engineering & Applications Symposium
Qualitative and quantitative analysis of workflows based on the UML activity diagram and Petri net
WSEAS Transactions on Information Science and Applications
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
A Two-Stage Probabilistic Approach to Manage Personal Worklist in Workflow Management Systems
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
A Simulation Model Articulation of the REA Ontology
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance
Electronic Notes in Theoretical Computer Science (ENTCS)
Property-Transition-Net-Based Workflow Process Modeling and Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Normalized workflow net (NWF-net): Its definition and properties
Future Generation Computer Systems
A role-based business process modeling methodology
CCDC'09 Proceedings of the 21st annual international conference on Chinese control and decision conference
Modeling and analyzing resource-constrained business processes
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
Maintaining consistency in layered architectures of mobile ad-hoc networks
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Coloured Petri nets in development of a pervasive health care system
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Verifying generalized soundness of workflow nets
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Mining frequent instances on workflows
PAKDD'03 Proceedings of the 7th Pacific-Asia conference on Advances in knowledge discovery and data mining
Business process management: a survey
BPM'03 Proceedings of the 2003 international conference on Business process management
BPM'03 Proceedings of the 2003 international conference on Business process management
A model to support collaborative work in virtual enterprises
BPM'03 Proceedings of the 2003 international conference on Business process management
Query nets: interacting workflow modules that ensure global termination
BPM'03 Proceedings of the 2003 international conference on Business process management
Modelling and validation with VipTool
BPM'03 Proceedings of the 2003 international conference on Business process management
Design and control of workflow processes: business process management for the service industry
Design and control of workflow processes: business process management for the service industry
Analysis of UML activities using dynamic meta modeling
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Object-oriented re-engineering of manufacturing models: A case study
Information Systems Frontiers
Novel data management algorithms in peer-to-peer content distribution networks
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Update support for database views via cooperation
ADBIS'07 Proceedings of the 11th East European conference on Advances in databases and information systems
Digging the wild web: an interactive tool for web data consolidation
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
An application of rough set concepts to workflow management
RSKT'08 Proceedings of the 3rd international conference on Rough sets and knowledge technology
Controlling Petri net process models
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
A feature-complete Petri net semantics for WS-BPEL 2.0
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
On the performance of workflow processes with distributed actors: does place matter?
BPM'07 Proceedings of the 5th international conference on Business process management
BPM'07 Proceedings of the 5th international conference on Business process management
An enactment-engine based on use-cases
BPM'07 Proceedings of the 5th international conference on Business process management
Process mining based on regions of languages
BPM'07 Proceedings of the 5th international conference on Business process management
Towards analysis of flexible and collaborative workflow using recursive ECATNets
BPM'07 Proceedings of the 2007 international conference on Business process management
On Detecting Data Flow Errors in Workflows
Journal of Data and Information Quality (JDIQ)
A workflow net similarity measure based on transition adjacency relations
Computers in Industry
Declarative workflows to efficiently manage flexible and advanced business processes
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Specification and verification of harmonized business-process collaborations
Information Systems Frontiers
Knowledge work support by semantic task management
Computers in Industry
A formalisation of adaptable pervasive flows
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
BPM in practice: who is doing what?
BPM'10 Proceedings of the 8th international conference on Business process management
Interacting Workflow Nets for Workflow Process Re-Engineering
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
e-BioFlow: improving practical use of workflow systems in bioinformatics
ITBAM'10 Proceedings of the First international conference on Information technology in bio- and medical informatics
Configurable multi-perspective business process models
Information Systems
A novel approach of process mining with event graph
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
A classification algorithm for process sequences based on Markov chains and Bayesian networks
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Reinforcement learning based resource allocation in business process management
Data & Knowledge Engineering
A method of workflow scheduling based on colored Petri nets
Data & Knowledge Engineering
Conceptual model for online auditing
Decision Support Systems
Models and meta models for transactions in web applications
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
An approach for integrating geospatial processing services into three-dimensional GIS
WISM'10 Proceedings of the 2010 international conference on Web information systems and mining
Process discovery in event logs: An application in the telecom industry
Applied Soft Computing
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Building AS-IS process models from task descriptions
Proceedings of the 8th International Conference on Frontiers of Information Technology
Toward process mashups: key ingredients and open research challenges
Proceedings of the 3rd and 4th International Workshop on Web APIs and Services Mashups
What agents can do in workflow management systems
Artificial Intelligence Review
Modeling surgical processes: A four-level translational approach
Artificial Intelligence in Medicine
A Simple Model of Negotiation for Cooperative Updates on Database Schema Components
Proceedings of the 2011 conference on Information Modelling and Knowledge Bases XXII
Business process management with unified modeling language
DNCOCO'06 Proceedings of the 5th WSEAS international conference on Data networks, communications and computers
Factory Templates for Digital Factories Framework
Robotics and Computer-Integrated Manufacturing
On scientific experiments and flexible service compositions
From active data management to event-based systems and more
Schedule-aware workflow management systems
Transactions on Petri nets and other models of concurrency IV
On-the-fly auditing of business processes
Transactions on Petri nets and other models of concurrency IV
Discovery of high-level tasks in the operating room
Journal of Biomedical Informatics
Verifying workflow processes: a transformation-based approach
Software and Systems Modeling (SoSyM)
CorPN: managing instance correspondence in collaborative business processes
Distributed and Parallel Databases
Event correlation for process discovery from web service interaction logs
The VLDB Journal — The International Journal on Very Large Data Bases
Design science in information systems research
MIS Quarterly
Dynamic soundness in resource-constrained workflow nets
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Towards a formalization of individual work execution at computer workplaces
ICCS'11 Proceedings of the 19th international conference on Conceptual structures for discovering knowledge
Modeling and verifying timed compensable workflows and an application to health care
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Methodologies for model-driven development and deployment: an overview
Rigorous software engineering for service-oriented systems
A new method for business process mining based on state equation
WISS'10 Proceedings of the 2010 international conference on Web information systems engineering
Using RFID for tracing cumulated resources and emissions in supply chain
International Journal of Ad Hoc and Ubiquitous Computing
OntoMetaWorkflow: an ontology for representing data and users in workflows
CAEPIA'11 Proceedings of the 14th international conference on Advances in artificial intelligence: spanish association for artificial intelligence
Supporting effective operation of e-governmental services through workflow and knowledge management
WISE'06 Proceedings of the 7th international conference on Web Information Systems
Choreographies as federations of choreographies and orchestrations
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
Process definition and project tracking in model driven engineering
PROFES'06 Proceedings of the 7th international conference on Product-Focused Software Process Improvement
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Process mining and verification of properties: an approach based on temporal logic
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Web process dynamic stepped extension: Pi-calculus-based model and inference experiments
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Context-aware workflow language based on web services for ubiquitous computing
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part II
Workflow model compositions preserving relaxed soundness
BPM'06 Proceedings of the 4th international conference on Business Process Management
History-based joins: semantics, soundness and implementation
BPM'06 Proceedings of the 4th international conference on Business Process Management
Introducing case management: opening workflow management’s black box
BPM'06 Proceedings of the 4th international conference on Business Process Management
Actor Petri net model for scientific workflows: model, design and system
Proceedings of the 4th International Conference on Uniquitous Information Management and Communication
Cross-organisational workflow enactment via progressive linking by run-time agents
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
A workflow language based on structural context model for ubiquitous computing
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Incremental workflow mining based on document versioning information
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Nested nets for adaptive systems
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
An extended meta-model for workflow resource model
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Verification of EPCs: using reduction rules and petri nets
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
A generic import framework for process event logs
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Overview on decentralized establishment of multi-lateral collaborations
From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments
Modeling and analysis of mobile service processes by example of the housing industry
BPM'05 Proceedings of the 3rd international conference on Business Process Management
The price of coordination in resource management
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Visualization support for managing large business process specifications
BPM'05 Proceedings of the 3rd international conference on Business Process Management
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Verification of SAP reference models
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Mining constrained graphs: the case of workflow systems
Proceedings of the 2004 European conference on Constraint-Based Mining and Inductive Databases
Soundness of resource-constrained workflow nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
HoloMAS'05 Proceedings of the Second international conference on Holonic and Multi-Agent Systems for Manufacturing
Autonomic management of workflows on hybrid grid-cloud infrastructure
Proceedings of the 7th International Conference on Network and Services Management
WorkflowNet2BPEL4WS: a tool for translating unstructured workflow processes to readable BPEL
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Evaluation of technical measures for workflow similarity based on a pilot study
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Different perspectives on modeling workflows in an agent based workflow management system
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part IV
An agent-enhanced workflow management system
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part IV
Actor-oriented design of scientific workflows
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Modeling the behavior of dispatching rules in workflow systems: a statistical approach
CRIWG'05 Proceedings of the 11th international conference on Groupware: design, Implementation, and Use
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Process mining for ubiquitous mobile systems: an overview and a concrete algorithm
UMICS'04 Proceedings of the Second CAiSE conference on Ubiquitous Mobile Information and Collaboration Systems
A distributed workflow system with autonomous components
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Evaluation of a multi-agent based workflow management system modeled using coloured petri nets
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Instance deadlock: a mystery behind frozen programs
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Formalizing the specification and execution of workflows using the event calculus
Information Sciences: an International Journal
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Verifying web services composition
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Towards amplifying business process reuse
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Conformance testing: measuring the fit and appropriateness of event logs and process models
BPM'05 Proceedings of the Third international conference on Business Process Management
“Intelligent” tools for workflow process redesign: a research agenda
BPM'05 Proceedings of the Third international conference on Business Process Management
Configurable process models as a basis for reference modeling
BPM'05 Proceedings of the Third international conference on Business Process Management
Proceedings of the 6th International Conference on Ubiquitous Information Management and Communication
Runtime enforcement of information flow security in tree manipulating processes
ESSoS'12 Proceedings of the 4th international conference on Engineering Secure Software and Systems
Journal of Intelligent Information Systems
DENEB: a platform for the development and execution of interoperable dynamic Web processes
Concurrency and Computation: Practice & Experience
Modeling and mining of learnflows
Transactions on Petri Nets and Other Models of Concurrency V
Invariant analysis for ordering constraints of multi-view business process model
APWeb'12 Proceedings of the 14th international conference on Web Technologies and Applications
Using Recommendation to Support Adaptive Clinical Pathways
Journal of Medical Systems
A metamodelling approach to behavioural modelling
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Compatibility of data-centric web services
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
Process mining and security: visualization in database intrusion detection
PAISI'12 Proceedings of the 2012 Pacific Asia conference on Intelligence and Security Informatics
Towards a formal integrated model of collaborative healthcare workflows
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Checking Properties of Adaptive Workflow Nets
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Cost soundness for priced resource-constrained workflow nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Resource-Constrained Workflow Nets
Fundamenta Informaticae
Determining Sound Markings in Structured Nets
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Adaptive workflow nets for grid computing
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Composable modeling and execution of administrative procedures
EGOVIS'12/EDEM'12 Proceedings of the 2012 Joint international conference on Electronic Government and the Information Systems Perspective and Electronic Democracy, and Proceedings of the 2012 Joint international conference on Advancing Democracy, Government and Governance
An integrated conceptual model to incorporate information tasks in workflow models
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Research and Implementation of Self-Publishing Website Platforms for Universities Based on CMS
International Journal of Advanced Pervasive and Ubiquitous Computing
Summarizing clinical pathways from event logs
Journal of Biomedical Informatics
Collaboration Support for Activity Management in a Personal Cloud Environment
International Journal of Distributed Systems and Technologies
Evaluating parameter sweep workflows in high performance computing
Proceedings of the 1st ACM SIGMOD Workshop on Scalable Workflow Execution Engines and Technologies
Ensuring Customised Transactional Reliability of Composite Services
Journal of Database Management
Journal of Database Management
IBM toolkit for radical simplification of business processes
IBM Journal of Research and Development
Formal workflow design analytics using data flow modeling
Decision Support Systems
QoS-based approach for context-aware service selection with fuzzy preferences handling
International Journal of Computer Applications in Technology
Managing large numbers of business processes with cloud workflow systems
AusPDC '12 Proceedings of the Tenth Australasian Symposium on Parallel and Distributed Computing - Volume 127
Business process regulatory compliance management solution frameworks: a comparative evaluation
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
Do we need to handle every temporal violation in scientific workflow systems?
ACM Transactions on Software Engineering and Methodology (TOSEM)
Annotation processes for flexible management of contextual information
Journal of Visual Languages and Computing
Investigating the success of operational business process management systems
Information Technology and Management
QoS-aware management of monotonic service orchestrations
Formal Methods in System Design
How to guarantee compliance between workflows and product lifecycles?
Information Systems
Analyzing Compatibility of Services via Resource Conformance
Fundamenta Informaticae - Concurrency, Specification and Programming
Hi-index | 0.00 |
This book offers a comprehensive introduction to workflow management, the management of business processes with information technology. By defining, analyzing, and redesigning an organization's resources and operations, workflow management systems ensure that the right information reaches the right person or computer application at the right time. The book provides a basic overview of workflow terminology and organization, as well as detailed coverage of workflow modeling with Petri nets. Because Petri nets make definitions easier to understand for nonexperts, they facilitate communication between designers and users. The book includes a chapter of case studies, review exercises, and a glossary.