( en | de | ru )

 

Disambiguation of "Mans, R.S."

Author of the publication

copydeleteadd this publication to your clipboard
Reusing a Declarative Specification to Check the Conformance of Different CIGs

, , and . Business Process Management Workshops, volume 100 of Lecture Notes in Business Information Processing, page 188--199. Springer-Verlag, Berlin, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Elmar Mans

Elmar Mans

Leo Mans

Dieter Mans

Elmar Mans

 

Other publications of authors with the same name

Improving Documentation by Repairing Event Logs, , and . The Practice of Enterprise Modeling (PoEM 2013), volume 165 of Lecture Notes in Business Information Processing, page 129--144. Springer-Verlag, Berlin, (2013)Process Mining in Healthcare: Data Challenges when Answering Frequently Posed Questions, , , and . Process Support and Knowledge Representation in Health Care, volume 7738 of Lecture Notes in Artificial Intelligence, page 140--153. Springer-Verlag, Berlin, (2013)Schedule-Aware Workflow Management Systems, , , , and . Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'09), page 81--96. Université Paris 13, Paris, France, (2009)Application of Process Mining in Healthcare: A Case Study in a Dutch Hospital, , , , and . Biomedical Engineering Systems and Technologies, volume 25 of Communications in Computer and Information Science, page 425--438. Springer-Verlag, Berlin, (2009)From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems, , , , , , and . Transactions on Petri Nets and Other Models of Concurrency III, volume 5800 of Lecture Notes in Computer Science, page 25--49. Springer-Verlag, Berlin, (2009)Towards a Taxonomy of Process Flexibility (Extended Version), , , , and . BPM Center Report BPM-07-11, BPMcenter.org, (2007)ProM 4.0: Comprehensive Support for Real Process Analysis, , , , , , , , , and . Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007), volume 4546 of Lecture Notes in Computer Science, page 484--494. Springer-Verlag, Berlin, (2007)From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems, , , , , and . Proceedings of the Eighth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2007), volume 584 of DAIMI, page 187--206. Aarhus, Denmark, University of Aarhus, (October 2007)Model-based Development and Testing of Process-aware Information Systems, , , , and . Proceedings of the International Conference on Advances in System Testing and Validation Lifecycle (VALID 2009), page 129--134. IEEE Computer Society, (2009)Augmenting a Workflow Management System with Planning Facilities using Colored Petri Nets, , , , and . Proceedings of the Ninth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2008), volume 588 of DAIMI, page 143--162. Aarhus, Denmark, University of Aarhus, (October 2008)