ML-DEWS: Modeling Language to Support Dynamic Evolution within Workflow Systems
Computer Supported Cooperative Work
Supporting Different Dimensions of Adaptabilityin Workflow Modeling
Computer Supported Cooperative Work
Object coloured Petri nets - a formal technique for object oriented modelling
Concurrent object-oriented programming and petri nets
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Modeling workflow processes with colored Petri nets
Computers in Industry
Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Relaxed Soundness of Business Processes
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
An Alternative Way to Analyze Workflow Graphs
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
Specifying Complex Process Control Aspects in Workflows for Exception Handling
DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications
Analyzing Separation of Duties in Petri Net Workflows
MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
Petri Net Based Certification of Event-Driven Process Chains
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Object Oriented Petri Nets in Business Process Modeling
Business Process Management, Models, Techniques, and Empirical Studies
Techniques for Modeling Workflows and Their Support of Reuse
Business Process Management, Models, Techniques, and Empirical Studies
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
A Workflow Change Is a Workflow
Business Process Management, Models, Techniques, and Empirical Studies
Inter-operability of Workflow Applications: Local Criteria for Global Soundness
Business Process Management, Models, Techniques, and Empirical Studies
Compositional Modeling and Verification of Workflow Processes
Business Process Management, Models, Techniques, and Empirical Studies
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Applying Propositional Logic to Workflow Verification
Information Technology and Management
Data flow and validation in workflow modelling
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Modelling and verifying web service orchestration by means of the concurrency workbench
ACM SIGSOFT Software Engineering Notes
IBM Journal of Research and Development
Normalized workflow net (NWF-net): its definition and properties
Future Generation Computer Systems
Verifying web services composition based on hierarchical colored petri nets
Proceedings of the first international workshop on Interoperability of heterogeneous information systems
Consistency in model integration
Data & Knowledge Engineering - Special issue: Business process management
An exploratory study of process enactment as input to software process improvement
Proceedings of the 2006 international workshop on Software quality
Mixed initiative use cases for semi-automated service composition: a survey
Proceedings of the 2006 international workshop on Service-oriented software engineering
Property-preserving subnet reductions for designing manufacturing systems with shared resources
Theoretical Computer Science
Resource-Constrained Workflow Nets
Fundamenta Informaticae
Scheduling-free resource management
Data & Knowledge Engineering
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
Translating unstructured workflow processes to readable BPEL: Theory and implementation
Information and Software Technology
A timed colored Petri nets modeling for dynamic workflow in product development process
Computers in Industry
DFL: A dataflow language based on Petri nets and nested relational calculus
Information Systems
Checking Properties of Adaptive Workflow Nets
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Intelligent agents for traffic simulation
Proceedings of the 2008 Spring simulation multiconference
Anticipatory Alignment Mechanisms for Behavioral Learning in Multi Agent Systems
Anticipatory Behavior in Adaptive Learning Systems
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Process Discovery Using Integer Linear Programming
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
On the Synthesis of Zero-Safe Nets
Concurrency, Graphs and Models
A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Introducing a Process Infrastructure for Agent Systems
Languages, Methodologies and Development Tools for Multi-Agent Systems
Discovery, Verification and Conformance of Workflows with Cancellation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A simplified framework for stochastic workflow networks
Computers & Mathematics with Applications
Resource workflow nets: an approach to workflow modelling and analysis
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Process-oriented organisation modelling and analysis
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Getting rid of OR-joins and multiple start events in business process models
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
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
Instantiation Semantics for Process Models
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Scaling Choreography Modelling for B2B Value-Chain Analysis
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
Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities
CASCON '08 Proceedings of the 2008 conference of the center for advanced studies on collaborative research: meeting of minds
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
Applications of Graph Transformations with Industrial Relevance
Complexity metrics for Workflow nets
Information and Software Technology
Soundness-preserving reduction rules for reset workflow nets
Information Sciences: an International Journal
Designing Case Handling Systems
Transactions on Petri Nets and Other Models of Concurrency I
Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
Towards a Methodology for Semantic Business Process Modeling and Configuration
Service-Oriented Computing - ICSOC 2007 Workshops
Reduction rules for YAWL workflows with cancellation regions and OR-joins
Information and Software Technology
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Implementing rigorous web services with process algebra: navigation plan for web services
Proceedings of the 2009 ACM symposium on Applied Computing
A Formal Model for Organisational Structures behind Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II
Business Grid: Combining Web Services and the Grid
Transactions on Petri Nets and Other Models of Concurrency II
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
Data & Knowledge Engineering
From business process models to process-oriented software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Process and Logic Approaches in the Intelligent Agents Behavior
Proceedings of the 2007 conference on Information Modelling and Knowledge Bases XVIII
A Relative Timed Semantics for BPMN
Electronic Notes in Theoretical Computer Science (ENTCS)
CoBTx-Net: A model for business collaboration reliability verification
Information Systems Frontiers
Hornets: Nets within Nets Combined with Net Algebra
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Monotonicity in Service Orchestrations
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Generation of Database Transactions with Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Detecting artifact anomalies in business process specifications with a formal model
Journal of Systems and Software
Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
The Triconnected Abstraction of Process Models
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Policy-Driven Process Mapping (PDPM): Discovering process models from business policies
Decision Support Systems
Emergency response workflow resource requirements modeling and analysis
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Towards Test-Driven Semantics Specification
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Measuring the Compliance of Processes with Reference Models
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Unveiling Hidden Unstructured Regions in Process Models
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Electronic Notes in Theoretical Computer Science (ENTCS)
Normalized workflow net (NWF-net): Its definition and properties
Future Generation Computer Systems
Qualitative analysis of workflow nets using linear logic: soundness verification
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Process based application level architecture for RFID system
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
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
A survey of comparative business process modeling approaches
BIS'07 Proceedings of the 10th international conference on Business information systems
Deciding life-cycle inheritance on Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
On the siphon-based characterization of liveness in sequential resource allocation systems
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Soundness and separability of workflow nets in the stepwise refinement approach
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
BPM'03 Proceedings of the 2003 international conference on Business process management
Pattern based workflow design using reference nets
BPM'03 Proceedings of the 2003 international conference on Business process management
A top-down Petri net-based approach for dynamic workflow modeling
BPM'03 Proceedings of the 2003 international conference on Business process management
Formalization and verification of EPCs with OR-joins based on state and context
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
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
Soundness verification of business processes specified in the Pi-calculus
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
A process-algebraic approach to workflow specification and refinement
SC'07 Proceedings of the 6th international conference on Software composition
PGWFT: a petri net based grid workflow verification and optimization toolkit
GPC'08 Proceedings of the 3rd international conference on Advances in grid and pervasive computing
Detection of consistent patterns from process enactment data
ICSP'08 Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story
Controlling Petri net process models
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Correctness-preserving configuration of business process models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
CoBTx-Net: a model for reliability verification of collaborative business transaction
BPM'07 Proceedings of the 2007 international conference on Business process management
Adaptive workflows for healthcare information systems
BPM'07 Proceedings of the 2007 international conference on Business process management
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
Science of Computer Programming
Journal of Biomedical Informatics
Specification and verification of harmonized business-process collaborations
Information Systems Frontiers
Deciding behaviour compatibility of complex correspondences between process models
BPM'10 Proceedings of the 8th international conference on Business process management
Structuring acyclic process models
BPM'10 Proceedings of the 8th international conference on Business process management
Termination analysis of business process workflows
Proceedings of the 5th International Workshop on Enhanced Web Service Technologies
Design and verification of instantiable compliance rule graphs in process-aware information systems
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
SONAR/OREDI: a tool for creation and deployment of organisation models
MATES'10 Proceedings of the 8th German conference on Multiagent system technologies
Process discovery in event logs: An application in the telecom industry
Applied Soft Computing
Visually specifying compliance rules and explaining their violations for business processes
Journal of Visual Languages and Computing
The biconnected verification of workflow nets
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Formalisations and applications of BPMN
Science of Computer Programming
Recommendation-based editor for business process modeling
Data & Knowledge Engineering
On-the-fly auditing of business processes
Transactions on Petri nets and other models of concurrency IV
Modeling organizational units as modular components of systems of systems
Transactions on Petri nets and other models of concurrency IV
Soundness-preserving refinements of service compositions
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Journal of Visual Languages and Computing
CorPN: managing instance correspondence in collaborative business processes
Distributed and Parallel Databases
Automated framework for formal operator task analysis
Proceedings of the 2011 International Symposium on Software Testing and Analysis
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
Reducing complexity of data flow testing in the verification of a IEC-62304 flexible workflow system
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
A new method for business process mining based on state equation
WISS'10 Proceedings of the 2010 international conference on Web information systems engineering
Perceived consistency between process models
Information Systems
Content-based validation of business process modifications
ER'11 Proceedings of the 30th international conference on Conceptual modeling
On the application of WF-Nets for checking hybrid IDEF0-IDEF3 business process models
ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
Interaction soundness for service orchestrations
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Study on π-calculus based equipment grid service chain model
NPC'05 Proceedings of the 2005 IFIP international conference on Network and Parallel Computing
Fragmented workflows supported by an agent based architecture
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Investigations on soundness regarding lazy activities
BPM'06 Proceedings of the 4th international conference on Business Process Management
BPM'06 Proceedings of the 4th international conference on Business Process Management
Verification of business process integration options
BPM'06 Proceedings of the 4th international conference on Business Process Management
Model transformation based verification of web services composition
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Transform BPEL workflow into hierarchical CP-Nets to make tool support for verification
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
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
Dynamic workflow modeling and verification
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
The price of coordination in resource management
BPM'05 Proceedings of the 3rd international conference on Business Process Management
An intuitive formal approach to dynamic workflow modeling and analysis
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Soundness of resource-constrained workflow nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
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
Structuring acyclic process models
Information Systems
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
A semi-automated orchestration tool for service-based business processes
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
Representing and visualizing mined artful processes in mailofmine
USAB'11 Proceedings of the 7th conference on Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society: information Quality in e-Health
Computing degree of parallelism for BPMN processes
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Propagating changes between aligned process models
Journal of Systems and Software
Optimal Adapter Creation for Process Composition in Synchronous vs. Asynchronous Communication
ACM Transactions on Management Information Systems (TMIS)
Providing an agent flavored integration for workflow management
Transactions on Petri Nets and Other Models of Concurrency V
On Synthesis and Analysis of Generalized Work Flow Net Structures and Transition Graphs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Generation of Database Transactions with Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Checking soundness of business processes compositionally using symbolic observation graphs
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Checking Properties of Adaptive Workflow Nets
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Resource-Constrained Workflow Nets
Fundamenta Informaticae
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management
Journal of Artificial Intelligence Research
A visual token-based formalization of BPMN 2.0 based on in-place transformations
Information and Software Technology
Protocol conformance checking of services with exceptions
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
An integrated conceptual model to incorporate information tasks in workflow models
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Process-aware web programming with Jolie
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Web service execution model for cloud environment
ACM SIGSOFT Software Engineering Notes
Using model checking to analyze the system behavior of the LHC production grid
Future Generation Computer Systems
Automated runtime repair of business processes
Information Systems
QoS-aware management of monotonic service orchestrations
Formal Methods in System Design
Petri net based Grid workflow verification and optimization
The Journal of Supercomputing
Defining Multi-Party Compromises using Unfoldings of Workflow Nets
Fundamenta Informaticae - Concurrency, Specification and Programming
Safety and Soundness for Priced Resource-Constrained Workflow Nets
Fundamenta Informaticae - Application and Theory of Petri Nets and Concurrency, 2012
Service net algebra based on logic Petri nets
Information Sciences: an International Journal
Hi-index | 0.00 |