Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
A High-Level Petri Nets-Based Approach to Verifying Task Structures
IEEE Transactions on Knowledge and Data Engineering
Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Nets Models
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
On Structured Workflow Modelling
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Towards a Framework for Comparing Process Modelling Languages
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Verification of Vortex Workflows
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Formal Verification of e-Services and Workflows
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
Making Work Flow: On the Application of Petri Nets to Business Process Management
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Modelling and initial analysis of operational planning processes using coloured petri nets
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Document configuration control processes captured in a workflow
Computers in Industry
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Applying Propositional Logic to Workflow Verification
Information Technology and Management
Automatic Control of Workflow Processes Using ECA Rules
IEEE Transactions on Knowledge and Data Engineering
A TCPN based approach to model the coordination in virtual manufacturing organizations
Computers and Industrial Engineering
From Contracts to E-Contracts: Modeling and Enactment
Information Technology and Management
Meta workflows as a control and coordination mechanism for exception handling in workflow systems
Decision Support Systems - Special issue: Web services and process management
An approach to workflow modeling and analysis
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
A tool for minimizing update errors for workflow applications: the CARD model
Computers and Industrial Engineering
Dynamic batch processing in workflows: Model and implementation
Future Generation Computer Systems
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
On the computability of agent-based workflows
Decision Support Systems
Formulating the Data-Flow Perspective for Business Process Management
Information Systems Research
Dynamic workflow model fragmentation for distributed execution
Computers in Industry
Dynamic workflow change in PDM systems
Computers in Industry
Discrete control for safe execution of IT automation workflows
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Detection and prediction of errors in EPCs of the SAP reference model
Data & Knowledge Engineering
A three-layer model for business processes: process logic, case semantics and workflow management
Journal of Computer Science and Technology
Process knowledge verification method based on petri net
Proceedings of the 1st international conference on Forensic applications and techniques in telecommunications, information, and multimedia and workshop
Journal of Systems and Software
An incremental analysis for resource conflicts to workflow specifications
Journal of Systems and Software
Semantics and analysis of business process models in BPMN
Information and Software Technology
Information Systems Engineering Supported by Cognitive Matchmaking
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Matching cognitive characteristics of actors and tasks in information systems engineering
Knowledge-Based Systems
Specification of SA-RBAC Policy Based on Colored Petri Net
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Expert Systems with Applications: An International Journal
Embedding knowledge exchange and cognitive matchmaking in a dichotomy of markets
Expert Systems with Applications: An International Journal
Detecting artifact anomalies in business process specifications with a formal model
Journal of Systems and Software
Dwelling time probability density distribution of instances in a workflow model
Computers and Industrial Engineering
Qualitative and quantitative analysis of workflows based on the UML activity diagram and Petri net
WSEAS Transactions on Information Science and Applications
A tool for minimizing update errors for workflow applications: The CARD model
Computers and Industrial Engineering
An approach for formal verification of business processes
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Woflan 2.0: a Petri-net-based workflow diagnosis tool
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
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
Information flow analysis of scientific workflows
Journal of Computer and System Sciences
Statics and dynamics of cognitive and qualitative matchmaking in task fulfillment
Information Sciences: an International Journal
Semantics of business process vocabulary and process rules
Proceedings of the 4th India Software Engineering Conference
Verifying workflow processes: a transformation-based approach
Software and Systems Modeling (SoSyM)
Decomposition-based verification of cyclic workflows
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Verification of EPCs: using reduction rules and petri nets
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
An analysis and taxonomy of unstructured workflows
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Modeling and assessment of production printing workflows using petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
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
Business workflow growth rate analysis using cellular automata
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
A framework for transformation from conceptual to logical workflow models
Decision Support Systems
Verifying nested workflows with extra constraints
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
On verification of nested workflows with extra constraints: From theory to practice
Expert Systems with Applications: An International Journal
Workflow performance analysis and simulation based on multidimensional workflow net
Computers in Industry
Hi-index | 0.01 |