| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Avner Ottensooser, Alan Fekete, Hajo A. Reijers, Jan Mendling, Con Menictas |
Making sense of business process descriptions: An experimental comparison of graphical and textual notations.  |
Journal of Systems and Software  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cesar A. L. Oliveira, Ricardo Massa Ferreira Lima, Hajo A. Reijers, Joel Tiago S. Ribeiro |
Quantitative Analysis of Resource-Constrained Business Processes.  |
IEEE Transactions on Systems, Man, and Cybernetics, Part A  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Remco M. Dijkman, Marcello La Rosa, Hajo A. Reijers |
Managing large collections of business process models - Current techniques and challenges.  |
Computers in Industry  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Smirnov 0002, Hajo A. Reijers, Mathias Weske, Thijs Nugteren |
Business process model abstraction: a definition, catalog, and survey.  |
Distributed and Parallel Databases  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis M. M. Schunselaar, Eric Verbeek, Wil M. P. van der Aalst, Hajo A. Reijers |
Creating Sound and Reversible Configurable Process Models Using CoSeNets.  |
BIS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronny Mans, Hajo A. Reijers, Michiel van Genuchten, Daniel Wismeijer |
Mining processes in dentistry.  |
IHI  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajo A. Reijers, Thomas Freytag, Jan Mendling, Andreas Eckleder |
Syntax highlighting in business process models.  |
Decision Support Systems  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello La Rosa, Hajo A. Reijers, Wil M. P. van der Aalst, Remco M. Dijkman, Jan Mendling, Marlon Dumas, Luciano García-Bañuelos |
APROMORE: An advanced process model repository.  |
Expert Syst. Appl.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Umeshwar Dayal, Johann Eder, Hajo A. Reijers |
Guest editorial: Business process management.  |
Data Knowl. Eng.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello La Rosa, Arthur H. M. ter Hofstede, Petia Wohed, Hajo A. Reijers, Jan Mendling, Wil M. P. van der Aalst |
Managing Process Model Complexity via Concrete Syntax Modifications.  |
IEEE Trans. Industrial Informatics  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello La Rosa, Petia Wohed, Jan Mendling, Arthur H. M. ter Hofstede, Hajo A. Reijers, Wil M. P. van der Aalst |
Managing Process Model Complexity Via Abstract Syntax Modifications.  |
IEEE Trans. Industrial Informatics  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajo A. Reijers, Jan Mendling, Remco M. Dijkman |
Human and automatic modularizations of process models to enhance their comprehension.  |
Inf. Syst.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M. P. van der Aalst |
Product-based workflow support.  |
Inf. Syst.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajo A. Reijers, Jan Mendling |
A Study Into the Factors That Influence the Understandability of Business Process Models.  |
IEEE Transactions on Systems, Man, and Cybernetics, Part A  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Weber, Manfred Reichert, Jan Mendling, Hajo A. Reijers |
Refactoring large process model repositories.  |
Computers in Industry  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Leopold, Jan Mendling, Hajo A. Reijers |
On the Automatic Labeling of Process Models.  |
CAiSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Smirnov 0002, Hajo A. Reijers, Mathias Weske |
A Semantic Approach for Business Process Model Abstraction.  |
CAiSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Zugal, Jakob Pinggera, Barbara Weber, Jan Mendling, Hajo A. Reijers |
Assessing the Impact of Hierarchy on Model - A Cognitive Perspective.  |
EESSMod  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefan Zugal, Jakob Pinggera, Barbara Weber, Jan Mendling, Hajo A. Reijers |
Assessing the Impact of Hierarchy on Model Understandability - A Cognitive Perspective.  |
MoDELS Workshops  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Ludwig, Hajo A. Reijers (eds.) |
Proceedings of the Demo Track of the Nineth Conference on Business Process Management 2011, Clermont-Ferrand, France, August 31st, 2011  |
BPM (Demos)  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Paul Pichler, Barbara Weber, Stefan Zugal, Jakob Pinggera, Jan Mendling, Hajo A. Reijers |
Imperative versus Declarative Process Modeling Languages: An Empirical Investigation.  |
Business Process Management Workshops  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Pinggera, Stefan Zugal, Matthias Weidlich, Dirk Fahland, Barbara Weber, Jan Mendling, Hajo A. Reijers |
Tracing the Process of Process Modeling with Modeling Phase Diagrams.  |
Business Process Management Workshops  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Agnes Koschmider, Minseok Song, Hajo A. Reijers |
Social software for business process modeling.  |
JIT  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Mendling, Jan Recker, Hajo A. Reijers |
On the Usage of Labels and Icons in Business Process Modeling.  |
IJISMD  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Mendling, Hajo A. Reijers, Jan Recker |
Activity labeling in process modeling: Empirical insights and recommendations.  |
Inf. Syst.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Mendling, Hajo A. Reijers, Wil M. P. van der Aalst |
Seven process modeling guidelines (7PMG).  |
Information & Software Technology  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M. P. van der Aalst, Jan Vogelaar |
Automatic Support for Product Based Workflow Design: Generation of Process Models from a Product Data Model.  |
OTM Workshops  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sander G. van de Wouw, Hajo A. Reijers |
An Integrative Framework of the Factors Affecting Process Model Understanding: A Learning Perspective.  |
AMCIS  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marie-Christine Fauvet, Marcello La Rosa, M. Sadegh, A. Alshareef, Remco M. Dijkman, Luciano García-Bañuelos, Hajo A. Reijers, Wil M. P. van der Aalst, Marlon Dumas, Jan Mendling |
Managing Process Model Collections with AProMoRe.  |
ICSOC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakob Pinggera, Stefan Zugal, Barbara Weber, Dirk Fahland, Matthias Weidlich, Jan Mendling, Hajo A. Reijers |
How the Structuring of Domain Knowledge Helps Casual Process Modelers.  |
ER  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Poelmans, Hajo A. Reijers |
The Deployment of Business Process Management Systems: A Quantitative Analysis of End-Users' Evaluations.  |
ECIS  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Zhiqiang Yan, Hajo A. Reijers, Remco M. Dijkman |
An Evaluation of BPMN Modeling Tools.  |
BPMN  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajo A. Reijers, Jan Vogelaar, Irene T. P. Vanderfeesten |
Changing Products, Changing Processes: Dealing with Small Updates in Product-Based Design.  |
eKNOW  |
2010 |
DBLP DOI BibTeX RDF |
process redesign, product-based design, modification, product data model |
| 1 | Hajo A. Reijers, Sander van Wijk, Bela Mutschler, Maarten Leurs |
BPM in Practice: Who Is Doing What?  |
BPM  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajo A. Reijers, Minseok Song, Byungduk Jeong |
Analysis of a collaborative workflow process with distributed actors.  |
Information Systems Frontiers  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Selma Limam Mansar, Hajo A. Reijers, Fouzia Ounnar |
Development of a decision-making strategy to improve the efficiency of BPR.  |
Expert Syst. Appl.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajo A. Reijers, R. S. Mans, Robert A. van der Toorn |
Improved model management with aggregated business process models.  |
Data Knowl. Eng.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Poelmans, Hajo A. Reijers |
Assessing Workflow Management Systems - A Quantitative Analysis of a Worfklow Evaluation Model.  |
ICEIS  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Cesar A. L. Oliveira, Ricardo Massa Ferreira Lima, Thiago Andre, Hajo A. Reijers |
Modeling and Analyzing Resource-Constrained Business Processes.  |
SMC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Weber, Hajo A. Reijers, Stefan Zugal, Werner Wild |
The Declarative Approach to Business Process Execution: An Empirical Test.  |
CAiSE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Fahland, Daniel Lübke, Jan Mendling, Hajo A. Reijers, Barbara Weber, Matthias Weidlich, Stefan Zugal |
Declarative versus Imperative Process Modeling Languages: The Issue of Understandability.  |
BMMDS/EMMSAD  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Agnes Koschmider, Minseok Song, Hajo A. Reijers |
Advanced Social Features in a Recommendation System for Process Modeling.  |
BIS  |
2009 |
DBLP DOI BibTeX RDF |
Modeling Support, Social Networks, Personalization, Business Processes |
| 1 | Matthias Schrepfer, Johannes Wolf, Jan Mendling, Hajo A. Reijers |
The Impact of Secondary Notation on Process Model Understanding.  |
PoEM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajo A. Reijers, Nick Russell, Simone van der Geer, Gertruud A. M. Krekels |
Workflow for Healthcare: A Methodology for Realizing Flexible Medical Treatment Processes.  |
Business Process Management Workshops  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariska Netjes, Ronny Mans, Hajo A. Reijers, Wil M. P. van der Aalst, R. J. B. Vanwersch |
BPR Best Practices for the Healthcare Domain.  |
Business Process Management Workshops  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Melcher, Jan Mendling, Hajo A. Reijers, Detlef Seese |
On Measuring the Understandability of Process Models.  |
Business Process Management Workshops  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Umeshwar Dayal, Johann Eder, Jana Koehler, Hajo A. Reijers (eds.) |
Business Process Management, 7th International Conference, BPM 2009, Ulm, Germany, September 8-10, 2009. Proceedings  |
BPM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Rosemann, Selma Limam Mansar, Hajo A. Reijers |
Introduction to the Fourth Workshop on Business Process Design (BPD 2009).  |
Business Process Management Workshops  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Fahland, Jan Mendling, Hajo A. Reijers, Barbara Weber, Matthias Weidlich, Stefan Zugal |
Declarative versus Imperative Process Modeling Languages: The Issue of Maintainability.  |
Business Process Management Workshops  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajo A. Reijers, Minseok Song, Heidi Romero, Umeshwar Dayal, Johann Eder, Jana Koehler |
A Collaboration and Productiveness Analysis of the BPM Community.  |
BPM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M. P. van der Aalst |
Evaluating workflow process designs using cohesion and coupling metrics.  |
Computers in Industry  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajo A. Reijers, Selma Limam Mansar, Michael Rosemann |
From the Editors: Introduction and a Compass for Business Process Design.  |
IS Management  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Mendling, Hajo A. Reijers |
The Impact of Activity Labeling Styles on Process Model Quality.  |
SIGSAND-EUROPE  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M. P. van der Aalst |
Product Based Workflow Support: Dynamic Workflow Execution.  |
CAiSE  |
2008 |
DBLP DOI BibTeX RDF |
Process Execution Strategies, Process Modeling, Workflow Management, Product Data Model |
| 1 | Irene T. P. Vanderfeesten, Hajo A. Reijers, Jan Mendling, Wil M. P. van der Aalst, Jorge Cardoso |
On a Quest for Good Process Models: The Cross-Connectivity Metric.  |
CAiSE  |
2008 |
DBLP DOI BibTeX RDF |
connectivity, business process modeling, quality metrics, EPCs |
| 1 | Hajo A. Reijers, Selma Limam Mansar, Michael Rosemann |
Introduction to the Fourth Workshop on Business Process Design (BPD 2008).  |
Business Process Management Workshops  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariska Netjes, Hajo A. Reijers, Wil M. P. van der Aalst |
On the Formal Generation of Process Redesigns.  |
Business Process Management Workshops  |
2008 |
DBLP DOI BibTeX RDF |
workflows, process modeling, Business Process Management, best practices, Business Process Redesign |
| 1 | Hajo A. Reijers, Jan Mendling |
Modularity in Process Models: Review and Effects.  |
BPM  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Agnes Koschmider, Minseok Song, Hajo A. Reijers |
Social Software for Modeling Business Processes.  |
Business Process Management Workshops  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajo A. Reijers, Stephan Poelmans |
Re-Configuring Workflow Management Systems to Facilitate a "smooth Flow of Work".  |
Int. J. Cooperative Inf. Syst.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst, Hajo A. Reijers, A. J. M. M. Weijters, Boudewijn F. van Dongen, Ana Karla Alves de Medeiros, Minseok Song, H. M. W. (Eric) Verbeek |
Business process mining: An industrial application.  |
Inf. Syst.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M. P. van der Aalst |
Case Handling Systems as Product Based Workflow Design Support.  |
ICEIS (Selected Papers)  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Irene T. P. Vanderfeesten, Hajo A. Reijers, Wil M. P. van der Aalst |
An Evaluation of Case Handling Systems for Product Based Workflow Design.  |
ICEIS  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mariska Netjes, Selma Limam Mansar, Hajo A. Reijers, Wil M. P. van der Aalst |
Performing Business Process Redesign with Best Practices: An Evolutionary Approach.  |
ICEIS (Selected Papers)  |
2007 |
DBLP DOI BibTeX RDF |
workflows, process modelling, Business Process Management, best practices, Business Process Redesign |
| 1 | Mariska Netjes, Selma Limam Mansar, Hajo A. Reijers, Wil M. P. van der Aalst |
An Evolutionary Approach for Business Process Redesign - Towards an Intelligent System.  |
ICEIS  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Irene T. P. Vanderfeesten, Jorge Cardoso, Hajo A. Reijers |
A weighted coupling metric for business process models.  |
CAiSE Forum  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hajo A. Reijers, Minseok Song, Byungduk Jeong |
On the Performance of Workflow Processes with Distributed Actors: Does Place Matter?  |
BPM  |
2007 |
DBLP DOI BibTeX RDF |
performance evaluation, case study, Workflow management, process mining |
| 1 | Hajo A. Reijers, Monique H. Jansen-Vullers, Michael zur Muehlen, Winfried Appl |
Workflow Management Systems + Swarm Intelligence = Dynamic Task Assignment for Emergency Management Applications.  |
BPM  |
2007 |
DBLP DOI BibTeX RDF |
Workflow, Swarm Intelligence, Business Process Management, Task Assignment |
| 1 | Monique H. Jansen-Vullers, P. A. M. Kleingeld, M. W. N. C. Loosschilder, Mariska Netjes, Hajo A. Reijers |
Trade-Offs in the Performance of Workflows - Quantifying the Impact of Best Practices.  |
Business Process Management Workshops  |
2007 |
DBLP DOI BibTeX RDF |
Performance Measurement, Best Practices, Business Process Redesign, Business Process Simulation |
| 1 | Jan Mendling, Hajo A. Reijers, Jorge Cardoso |
What Makes Process Models Understandable?  |
BPM  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Davenport, Selma Limam Mansar, Hajo A. Reijers |
Introduction to the Third Workshop on Business Process Design.  |
Business Process Management Workshops  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajo A. Reijers |
Workflow Flexibility: The Forlorn Promise.  |
WETICE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Davenport, Selma Limam Mansar, Hajo A. Reijers, Michael Rosemann |
Preface.  |
Business Process Management Workshops  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Monique H. Jansen-Vullers, Mariska Netjes, Hajo A. Reijers, M. J. Stegeman |
A Redesign Framework for Call Centers.  |
Business Process Management  |
2006 |
DBLP DOI BibTeX RDF |
Simulation, Petri nets, Call centers, Business Process Redesign |
| 1 | Byung-Hyun Ha, Hajo A. Reijers, Joonsoo Bae, Hyerim Bae |
An Approximate Analysis of Expected Cycle Time in Business Process Execution.  |
Business Process Management Workshops  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Cardoso, Jan Mendling, Gustaf Neumann, Hajo A. Reijers |
A Discourse on Complexity of Process Models.  |
Business Process Management Workshops  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kees Kaan, Hajo A. Reijers, Peter van der Molen |
Introducing Case Management: Opening Workflow Management's Black Box.  |
Business Process Management  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst, Hajo A. Reijers, Minseok Song |
Discovering Social Networks from Event Logs.  |
Computer Supported Cooperative Work  |
2005 |
DBLP DOI BibTeX RDF |
data mining, Petri nets, social network analysis, workflow management, business process management, process mining |
| 1 | Selma Limam Mansar, Hajo A. Reijers |
Best practices in business process redesign: validation of a redesign framework.  |
Computers in Industry  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajo A. Reijers |
Process Design and Redesign.  |
Process-Aware Information Systems  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Eric Verbeek, Maarte van Hattem, Hajo A. Reijers, Wendy de Munk |
Protos 7.0: Simulation Made Accessible.  |
ICATPN  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajo A. Reijers |
Preface (BPD 2005).  |
Business Process Management Workshops  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Selma Limam Mansar, Hajo A. Reijers, Fouzia Ounnar |
BPR Implementation: A Decision-Making Strategy.  |
Business Process Management Workshops  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariska Netjes, Irene T. P. Vanderfeesten, Hajo A. Reijers |
"Intelligent" Tools for Workflow Process Redesign: A Research Agenda.  |
Business Process Management Workshops  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Irene T. P. Vanderfeesten, Hajo A. Reijers |
A Human-Oriented Tuning of Workflow Management Systems.  |
Business Process Management  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajo A. Reijers |
Metrics for Workflow Design: How an Information Processing View on Business Processes Helps to Make Good Designs.  |
Advanced Topics in Database Research, Vol. 3  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hajo A. Reijers |
Performance Improvement by Workflow Management Systems: Preliminary Results from an Empirical Study.  |
ICEIS  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Monique H. Jansen-Vullers, Mariska Netjes, Hajo A. Reijers |
Business process redesign for effective e-commerce.  |
ICEC  |
2004 |
DBLP DOI BibTeX RDF |
e-commerce, process models, BPR, service industry |
| 1 | Hajo A. Reijers, Irene T. P. Vanderfeesten |
Cohesion and Coupling Metrics for Workflow Process Design.  |
Business Process Management  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajo A. Reijers, J. H. M. Rigter, Wil M. P. van der Aalst |
The Case Handling Case.  |
Int. J. Cooperative Inf. Syst.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajo A. Reijers, Selma Limam, Wil M. P. van der Aalst |
Product- Based Workflow Design.  |
J. of Management Information Systems  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Hajo A. Reijers |
Design and Control of Workflow Processes: Business Process Management for the Service Industry  |
|
2003 |
DOI RDF |
|
| 1 | Hajo A. Reijers |
Product-Based Design of Business Processes Applied within the Financial Services.  |
Journal of Research and Practice in Information Technology  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst, Hajo A. Reijers, Selma Limam |
Product-driven Workflow Design.  |
CSCWD  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Wil M. P. van der Aalst, Poul J. N. de Crom, Roy R. H. M. J. Goverde, Kees M. van Hee, Wout J. Hofman, Hajo A. Reijers, Robert A. van der Toorn |
Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets.  |
ICATPN  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kees M. van Hee, Hajo A. Reijers |
Using Formal Analysis Techniques in Business Process Redesign.  |
Business Process Management  |
2000 |
DBLP DOI BibTeX RDF |
|