1991

D. Gomm, E. Kindler: A weakly coherent virtually shared memory scheme: Formal specification and analysis.
SFB-Bericht 342/5/91 B, TU München, August 1991.

D. Gomm, E. Kindler: Causality based specification and correctness proof of a virtually shared memory scheme.
SFB-Bericht 342/6/91 B, TU München, August 1991.

1992

J. Desel, D. Gomm, E. Kindler, B. Paech, R. Walter: Bausteine eines kompositionalen Beweiskalküls für netzmodellierte Systeme.
SFB-Bericht 342/16/92 A, TU München, July 1992.

1993

E. Kindler, R. Walter: Rearranging Problems.
Cover Picture Story des Petri Net Newsletters No. 43, June 1993.

D. Gomm, E. Kindler, B. Paech, R. Walter: Compositional Liveness Properties of EN-Systems.
In M. Ajamone Marsan (Ed.): Application and Theory of Petri Nets 1993, Proceedings. LNCS 691, Springer-Verlag 1993. Abstract.

D. Gomm, E. Kindler: Causality Based Proof of a Distributed Shared Memory System.
In A. Bode, M. Dal Cin (Eds.): Parallel Computer Architectures. LNCS 732, Springer-Verlag 1993.
Abstract (in German).

1994

E. Kindler: Safety- and Liveness Properties: A Survey. In EATCS-Bulletin No. 53, June 1994.
(also SFB-Bericht 342/2/93, Dec. 1993)

E. Kindler, A. Listl, R. Walter: Kausalitätsbasierte Beweismethoden für parallele Datenbanksysteme: Eine Fallstudie.
Informatik-Berichte der Humboldt-Universität zu Berlin No. 30, June 1994.

J. Desel, E. Kindler, R. Walter: A game of tokens: Proof contest.
Petri Net Newsletter, 47:3--4, October 1994, Cover Picture Story.

1995

J. Desel, E. Kindler, R. Walter: The game of tokens: A collections of proofs. Petri Net Newsletter, 48:7--14, May 1995.

J. Desel, E. Kindler, T. Vesper, R. Walter: A simplified proof for a self-stabilizing protocol: A Game of Cards.
Information Processing Letters, Vol. 54, pp. 327-328, 1995.

E. Kindler: Invariants, composition, and substitution.
Acta Informatica Vol. 32, pp. 299-312, Juni 1995. Abstract.
(also SFB-Bericht 342/25/92, Nov. 1992)

E. Kindler, R. Walter: Message Passing Mutex
In J. Desel (Ed.): Structures in Concurrency Theory, Proceedings, Workshops in Computing, Springer-Verlag 1995. Abstract.

E. Kindler: Modularer Entwurf verteilter Systeme mit Petrinetzen. Edition Versal 1, Bertz Verlag, Dezember 1995.
Also PhD thesis: Technische Universität München, July 1995.
(Zusammenfassung (in German), (in English).)

1996

E. Kindler, A. Listl, R. Walter: A Specification Method for Transaction Models with Data Replication.
Informatik-Berichte der Humboldt-Universität zu Berlin No. 56, March 1996.

E. Kindler, W. Reisig, H. Völzer, R. Walter: Petri Net Based Verification of Distributed Algorithms: An Example.
Informatik-Berichte der Humboldt-Universität zu Berlin No. 63, May 1996.

E. Kindler and R. Walter: Arc-Typed Petri Nets.
In J. Billington, W. Reisig (Eds.): Application and Theory of Petri Nets 1996, Proceedings, LNCS 1091, Springer-Verlag 1996.
(also: E. Kindler and R. Walter: Arc-Typed Petri Nets. Informatik-Berichte der Humboldt-Universität zu Berlin No. 50, Dec. 1995.)

E. Kindler: A Specification and Verification Method for Caching Protocols.
In J. Desel, H. Reichel: Formal Methods for Concurrency, Proceedings München, July 1996.

R. Walter, H. Völzer, T. Vesper, W. Reisig, E. Kindler, J. Freiheit, and J. Desel: Memorandum: Petrinetzmodelle zur Verifikation Verteilter Algorithmen.
Informatik-Berichte der Humboldt-Universität zu Berlin No. 67, August 1996.

E. Kindler and J. Desel: Der Traum von einem universellen Petrinetz-Werkzeug: Der Petrinetz-Kern.
In Proceedings des 3. Workshop Algorithmen und Werkzeuge für Petrinetze, Karlsruhe, 4.-5. October 1996.
(also: in Proceedings des KickOff-Workshops der Forschergruppe Petrinetz-Technologie, Juli 1996)

E. Kindler and T. Vesper: Automatisch überprüfbare Beweistechniken für algebraische Petrinetze.
In Proceedings des 3. Workshop Algorithmen und Werkzeuge für Petrinetze, Karlsruhe, 4.-5. October 1996.

E. Kindler and W. Reisig: Algebraic System Nets for Modelling Distributed Systems.
Petri Net Newsletter 51, Dec. 1996
(also in Proceedings des KickOff-Workshops der Forschergruppe Petrinetz-Technologie, July 1996)

1997

J. Desel and E. Kindler: Proving Correctness of Distributed Algorithms: A Petri Net Approach.
Bericht 348 des Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) der Universität Karlsruhe, Feb. 1997.

E. Kindler and R. Walter: Mutex Needs Fairness.
Information Processing Letters 62, 1997.

E. Kindler: A Compositional Partial Order Semantics for Petri Net Components.
In: P. Azema, G. Balbo (Eds.): Application and Theory of Petri Nets 1997, Proceedings, LNCS 1248, Springer-Verlag 1997.
(Conference version of SFB-Bericht 342/06/96 A, March 1996)

E. Kindler, W. Reisig, H. Völzer, and R. Walter: Petri Net Based Verification of Distributed Algorithms: An Example.
Formal Aspects of Computing (1997) 9:409-424.
(Journal version of Informatik-Bericht Nr. 63, May 1996)

E. Kindler and T. Vesper: A Temporal Logic for Events and States in Petri Nets.
In: B. Farwer, D. Moldt, M.-O. Stehr: Petri Nets in System Engineering (PNSE'97) Modelling, Verification, and Validation. Universität Hamburg, Fachberichte FBI-HH-B-205/97, Sept. 1997.

E. Kindler: Der Petrinetz-Kern: Ein einfaches Anwendungsbeispiel.
In: J. Desel, E. Kindler, A. Oberweis (Hrsg.): Algorithmen und Werkzeuge für Petrinetze, 4. Workshop. Informatik-Berichte 85, Humboldt-Universität zu Berlin, Oct. 1997.

E. Kindler and W. Reisig: Verification of Distributed Algorithms with Algebraic Petri Nets.
In: C. Freksa, M. Jantzen, R. Valk: Foundations of Comupter Science: Potential - Theory - Cognition. LNCS 1337, 1997.

E. Kindler: Inhibitor Arcs: A Philosophical View.
Petri Net Newsletter 53, Cover Picture Story, Oct. 1997.

E. Kindler and T. Vesper: ESTL: A Temporal Logic for Events and States..
Informatik-Bericht Nr. 87, Humboldt-Universtität zu Berlin, Nov. 1997.

M. Weber, R. Walter, H. Völzer, T. Vesper, W. Reisig, S. Peuker, E. Kindler, J. Freiheit, and J. Desel: DAWN: Petrinetzmodelle zur Verifikation Verteilter Algorithmen..
Informatik-Bericht Nr. 88, Humboldt-Universtität zu Berlin, Nov. 1997.
Leider enthält diesem Bericht noch einige Errata.

E. Kindler and H. Völzer: Flexibility in Algebraic Nets.
Informatik-Bericht Nr. 89, Humboldt-Universtität zu Berlin, Nov. 1997.

1998

J. Hauptmann, B. Hohberg, E. Kindler, I. Schwenzer, and M. Weber: Der Petrinetz-Kern - Dokumentation der Anwendungs-Schnittstelle.
Informatik-Bericht Nr. 98, Humboldt-Universtität zu Berlin, Feb. 1998.

Thomas Baar and Ekkart Kindler: Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen - Eine Vorstudie -
Informatik-Bericht Nr. 99, Humboldt-Universtität zu Berlin, Mrz. 1998.

J. Desel and E. Kindler: Proving Correctness of Distributed Algorithms Using High-Level Petri Nets -- A Case Study.
In: Proc. 1998 International Conference on Application of Concurrency to System Design CSD '98. pp. 177-186. IEEE Computer Society Press, March, 1998.

E. Kindler: The Interplay of Transaction Models and Memory Models.
In: T. Ozsu, A. Dogac, O. Ulusoy (Eds.): Proc. of the third biennial world conference on Integrated Design and Process, IDPT-Vol.~2. pp. 39-46. SDPS, July, 1998.

E. Kindler and T. Vesper: ESTL: A Temporal Logic for Events and States.
In: J. Desel and M. Silva (Eds.): Proc. of International Conf. on Application and Theory of Petri Nets (ICATPN '98). pp. 365-384. LNCS 1420, Springer-Verlag, June, 1998.
(See Informatik-Bericht 87, Humboldt-Universtität zu Berlin, Nov. 1997)

E. Kindler and H. Völzer: Flexibility in Algebraic Nets.
In: J. Desel and M. Silva (Eds.): Proc. of International Conf. on Application and Theory of Petri Nets (ICATPN '98). pp. 345-364. LNCS 1420, Springer-Verlag, June, 1998.
(See Informatik-Bericht Nr. 89, Humboldt-Universtität zu Berlin, Nov. 1997)

Thomas Baar and Ekkart Kindler: ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool..
In: H.-D. Burkhard, L. Czaja, P. Starke: Workshop Concurrency, Specification & Programming, Proceedings, pp. 1-8, Sept. 1998.

Ekkart Kindler and Sibylle Peuker: Integrating Distributed Algorithms into Distributed Systems.
In: H.-D. Burkhard, L. Czaja, P. Starke: Workshop Concurrency, Specification & Programming, Proceedings, pp.128-143. Sept. 1998
(Also printed as Informatik-Bericht Nr. 107, Humboldt-Universtität zu Berlin, July 1998.)

Ekkart Kindler and Michael Weber: The Dimensions of Petri Nets: The Petri Net Cube.
EATCS Bulletin No. 66, pp. 155-166, October 1998.
(Also printed as Informatik-Bericht Nr. 109, Humboldt-Universtität zu Berlin, Aug. 1998.)

Ekkart Kindler and Frank Oschmann: The Petri Net Kernel: An INA-Pilot.
In J. Desel, P. Kemper, E. Kindler, A. Oberweis: Workshop Algorithmen und Werkzeuge für Petrinetze, Oct. 1998

Wil van der Aalst, Ekkart Kindler, and Jörg Desel: Beyond Asymmetric Choice: A Note on Some Extensions
Petri Net Newsletter, No. 55, pp. 3-13, October 1998.

Ekkart Kindler: Database Theory - Petri Net Theory - Workflow Theory
Petri Net Newsletter, No. 55, pp. 14-18, October 1998.
(Also printed as Informatik-Bericht Nr. 102, Humboldt-Universtität zu Berlin, Mai. 1998.)

1999

Ekkart Kindler and Michael Weber: The Petri Net Kernel - Documentation of the Application Interface, Revision 2.0. Jan. 1999.

Ekkart Kindler and Tobias Vesper: ESTL: Some Proof Techniques.
In: W. v. d. Aalst, J.-M. Colom, F. Kordon, G. Kotsis, and D. Moldt: Petri Net Approaches for Modelling and Validation. LINCOM Studies in Computer Science, No. 1. 1999

Thomas Baar and Ekkart Kindler: ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool.
Fundamenta Informaticae (Special Issue on Petri Nets), 37 (3): 201-211, Feb. 1999

Ekkart Kindler and Sibylle Peuker: Integrating Distributed Algorithms into Distributed Systems.
Fundamenta Informaticae (Special Issue on Petri Nets), 37 (3): 291-327, Feb. 1999

Ekkart Kindler and Wil van der Aalst: Liveness, Fairness, and Recurrence.
Information Processing Letters 70 (6): 269-274 , June 1999.
Full version: Technical Report, UGA-CS-TR-99-02, University of Georgia, Department of Computer Science, Athens, USA. April 1999.

Ekkart Kindler and Axel Martens: Szenarios: Lokale Kriterien für globale Korrektheit.
GI/ITG-Fachgespräch: Formale Beschreibungstechniken für verteilte Systeme. München, June 1999.

Thomas Baar, Ekkart Kindler, and Hagen Völzer: Verifying Intuition -- ILF checks DAWN proofs.
In S. Donatelli, J. Kleijn (Eds.), Application and Theory of Petri Nets, 20th International Conference, LNCS 1639, pp. 404-423. Springer, June 1999.
Full version: Informatik-Bericht Nr. 119, Humboldt-Universtität zu Berlin, Mar. 1999.

Ekkart Kindler and Michael Weber: The Petri Net Kernel: An Infrastructure for Building Petri Net Tools.
In Tool Presentation within Application and Theory of Petri Nets, 20th International Conference, pp. 10-19, Williamsburg, USA, June, 1999.

Ekkart Kindler: Serializability, Concurrency Control, and Replication Control.
In G. Saake, K. Schwarz, C. Türker (Eds.): Transaction and Database Dynamics, Proceedings of the Eighth International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Sept. 1999, Preprint.

Ekkart Kindler: A Classification of Consistency Models.
Technical Report B99-14, Freie Universität Berlin, Institut für Informatik, October 1999.

2000

Ekkart Kindler: Serializability, Concurrency Control, and Replication Control.
In G. Saake, K. Schwarz, C. Türker (Eds.): Transaction and Database Dynamics, 8th International Workshop on Foundations of Models and Languages for Data and Objects, Selected Papers. LNCS 1773, Springer 2000.

Ekkart Kindler, Axel Martens, and Wolfgang Reisig: Inter-operability of Workflow Applications: Local Criteria for Global Soundness.
In: J. Desel, W. van der Aalst, A. Oberweis (Eds.): Business Process Management: Models, Techniques, and Empirical Studies. LNCS 1806, Springer 2000, pp. 235-253.

Ekkart Kindler and Axel Martens: Cross-talk revisited: What's the problem?
Petri Net Newsletter, No. 58, pp. 4-10, Cover Picture Story, April 2000.

Matthias Jüngel, Ekkart Kindler, and Michael Weber: Towards a Generic Interchange Format for Petri Nets.
Position paper for the Meeting on XML/SGML based Interchange Formats for Petri Nets, Aarhus, Denmark June 2000.

Ekkart Kindler and Dennis Shasha: Verifying a Design Pattern for the Fault-Tolerant Execution of Parallel Programs.
Technical Report TR2000-803, New York University, Courant Institute of Mathematical Sciences, Computer Science Department, June 2000.
(Download PDF or PostScript)

Ekkart Kindler: Consistency, Causality, Petri Nets, and Automata.
In: H.-D. Burkhard and L. Czaja and A. Skowron and P. Starke (Eds.): Workshop Concurrency, Specification & Programming. pp. 93-104, October 2000.

Matthias Jüngel, Ekkart Kindler, and Michael Weber: The Petri Net Markup Language.
In: S. Phillipi (Ed.): Workshop Algorithmen und Werkzeuge für Petrinetze. October 2000.
Also: Petri Net Newsletter, No. 59, pp. 24-29, October 2000.

2001

Ekkart Kindler: Systematische Spezifikation und Verifikation von Konsistenzprotokollen.
Habilitationsschrift, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät.
Eingereicht Aug. 2000, Abschluß des Vefahrens Feb. 2001.

Ekkart Kindler and Michael Weber: A Universal Module Concept for Petri Nets. An Implementation-Oriented Approach. Informatik-Bericht Nr. 150, Humboldt-Universität zu Berlin, April 2001.

Ekkart Kindler and Hagen Völzer: Algebraic Nets with Flexible Arcs.
Theoretical Computer Science 262 (1-2), pp. 285-310, July 2001.

Ekkart Kindler and Michael Weber: The Petri Net Kernel - An Infrastructure for Building Petri Net Tools.
Software Tools for Technology Transfer 3 (4): 486-497, 2001.

Jörg Desel and Ekkart Kindler: Petri nets and components - extending the DAWN approach.
In: D. Moldt (ed.): Workshop on Modelling of Objects, Components, and Agents. Aarhus, Denmark, August 2001.

Ekkart Kindler and Michael Weber: A Universal Module Concept for Petri Nets.
In: G. Juhas, R. Lorenz: Workshop Algorithmen und Werkzeuge für Petrinetze, Eichstätt, pp. 7-12, October 2001.
(Full version: Informatik-Bericht Nr. 150, Humboldt-Universität zu Berlin, April 2001)

Ekkart Kindler and Michael Weber: Modules in Pictures.
Petri Net Newsletter, No. 61, pp. 5-8, October 2001.

2002

Ekkart Kindler: Petri Nets, Situations, and Automata.
In: J. Esparza, C. Lakos (eds.): International Conference on Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings. Springer, LNCS 2360, pp. 217-236.

Ekkart Kindler: DAWN for component based systems - just a different view.
In: J. Desel, M. Weske (eds.): PROMISE 2002 - Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen. Potsdam, Germany, 9.-11. October 2002. Proceedings. GI-Edition, Lecture Notes in Informatics, P-21, pp. 7-13.

Wil van der Aalst, Jörg Desel, and Ekkart Kindler: On the semantics of EPCs: A vicious circle.
In: M. Nüttgens, F. Rump (eds.): EPK 2002 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, Trier, Germany, November 2002 Proceedings pp. 71-79.

2003

Matthias Gehrke, Holger Giese, Ekkart Kindler, Jörg Niere, Wilhelm Schäfer, Jörg P. Wadsack, Robert Wagner, and Lothar Wendehals: Software Engineering Education: The Synergy of Combined Research and Teaching.
Technical Report, Reihe Informatik tr-ri-03-237, University of Paderborn, Paderborn, Germany, January 2003.

Jonathan Billington, Søren Christensen, Kees van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, and Michael Weber: The Petri Net Markup Language: Concepts, Technology, and Tools.
In: W. van der Aalst and E. Best (eds.): International Conference on Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 2002. Proceedings. Springer, LNCS 2679, pp. 483-505.

Ekkart Kindler: On the semantics of EPCs: A framework for resolving the vicious circle.
Technical Report, Reihe Informatik,tr-ri-03-243 University of Paderborn, Paderborn, Germany, August 2003.

Ekkart Kindler and Csaba Páles: 3D-Visualization of Petri Net Models: A concept.
In: G. Juhas, R. Lorenz (eds.): Workshop Algorithmen und Werkzeuge für Petrinetze, Eichstätt, September 2003.

Ekkart Kindler: On the semantics of EPCs: A framework for resolving the vicious circle (Extended abstract).
In: M. Nüttgens, F. Rump (eds.): EPK 2003 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, Proceedings, Bamberg, Germany, October 2003, pp. 7-18.

Michael Weber and Ekkart Kindler: The Petri Net Kernel.
In: H. Ehrig, W. Reisig, G. Rozenberg, H. Weber (eds.): Petri Net Technology for Communication Based Systems . pp. 109-123, Springer, LNCS 2472, 2003.

Michael Weber and Ekkart Kindler: The Petri Net Markup Language.
In: H. Ehrig, W. Reisig, G. Rozenberg, H. Weber (eds.): Petri Net Technology for Communication Based Systems. pp. 124-144, Springer, LNCS 2472, 2003.

2004

Ekkart Kindler: Using the Petri Net Markup Language for Exchanging Business processes - Potential and Limitations.
In: M. Nüttgens, J. Mendling: XML4BPM 2004, XML Interchange Formats for Business Process Management, Proceedings March 2004.

Ekkart Kindler: On the semantics of EPCs: A framework for resolving the vicious circle.
In: J. Desel, B. Pernici, and M. Weske (eds.): Business Process Management, BPM 2004, Second Internation Conference, Potsdam, Germany. Springer, LNCS 3080: 82-97, June 2004.

Ekkart Kindler and Csaba Páles: 3D-Visualization of Petri Net Models: Concept and Realization.
In: J. Cortadella and W. Reisig (eds.): International Conference on Theory and Application of Petri Nets 2004, 25th International Conference, Bolgna, Italy. Springer, LNCS 3099: 464-473, June 2004.

Ekkart Kindler: High-level Petri Nets -- Transfer Syntax. Proposal for the International Standard ISO/IEC 15909 Part 2. Draft Version 0.3.0.
April 2004.

Ekkart Kindler (ed.): Proceedings of the Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets, Satellite event of the 25th International Conference on Application and Theory of Petri Nets 2004.
Bologna, Italy, June 26, 2004.

Ekkart Kindler, Vladimir Rubin, and Robert Wagner: An adaptable TGG interpreter for in-memory model transformation.
In: FUJABA Days 2004. Proceedings. pp. 35-38.
Darmstadt, Germany, September 15-17, 2004.

Ekkart Kindler (ed.): Algorithmen und Werkzeuge für Petrinetze (AWPN) - Algorithms and Tools for Petri nets. Proceedings of the Workshop AWPN 2004.
Paderborn, Germany, Sept. 30 & Oct. 1, 2004.

A. Gepting, J. Greenyer, E. Kindler, A. Maas, S. Munkelt, C. Pales, T. Pivl, O. Rohe, V. Rubin, M. Sander, A. Scholand, C. Wagner, and R. Wagner: Component Tools: A vision for a tool.
In: E. Kindler (ed.): Algorithmen und Werkzeuge für Petrinetze (AWPN) - Algorithms and Tools for Petri nets. Proceedings of the Workshop AWPN 2004. pp. 37-42.
Paderborn, Germany, Sept. 30 & Oct. 1, 2004.

Nicolas Cuntz and Ekkart Kindler: On the semantics of EPCs: Efficient calculation and simulation.
In: M. Nüttgens, F. J. Rump(eds.): EPK 2004: Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten., Proceedings. pp. 7-26
3. Workshop, Luxembourgh. October 6, 2004.

Ekkart Kindler: High-level Petri Nets -- Transfer Format. Working Draft Version 0.5.0 of the International Standard ISO/IEC 15909 Part 2.
November 2004.

2005

Holger Giese, Ekkart Kindler, Florian Klein, and Robert Wagner: Reconciling Scenario-Centered Controller Design with State-Based System Models.
Fourth International Workshop on Scenarios and State Machines: Models, Algorithms and Tools, ICSE 2005 workshop, Saint-Louis, May 2005.

Börn Axenath, Ekkart Kindler, and Vladimir Rubin: The Aspects of Business Processes: An Open and Formalism Independent Ontology.
Technical Report tr-ri-05-256, April 2005 (preliminary version).

Ekkart Kindler, Vladimir Rubin, and Wilhelm Schäfer: Incremental Workflow Mining based on Document Versioning Information.
In: Software Process Workshop, Proceedings, pp. 218-232.
Beijing, China, May 2005.

Software and Systems Engineering -- High-level Petri Nets, Part 2: Transfer Format.
International Standard ISO/IEC 15909-2. Working Draft Version 0.9.0, June 2005.
Submitted for a combined ISO/IEC SC7 WD/CD registration and CD ballot.

Hagen Völzer, Daniele Varacca, and Ekkart Kindler: Defining Fairness.
In: M. Abadi, Luca de Alfaro (eds.): CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings. Springer, LNCS 3653, pp. 458-472, 2005.

Nicolas Cuntz and Ekkart Kindler: On the semantics of EPCs: Efficient calculation and simulation (Extended Abstract).
In: W.M.P. van der Aalst, B. Benatallah, F. Curbera (eds.): Third International Conference on Business Process Management (BPM), Nancy, France, September 2005. Springer, LNCS 3649, pp.398-403, 2005

Björn Axenath, Ekkart Kindler, and Vladimir Rubin: An Open and Formalism Independent Meta-Model for Business Processes.
In: E. Kindler, M. Nüttgens: Business Process Reference Models. Proceedings of the Workshop on Business Process Reference Models 2005 (BPRM 2005), Satellite event of the third International Conference on Business Process Management, Nancy, France, pp. 45-59. September 2005.

Ekkart Kindler and Markus Nüttgens (eds.): First International Workshop on Business Process Reference Models 2005 (BPRM 2005), Pre-proceedings. Satellite event of the third International Conference on Business Process Management, Nancy, France, September 2005.

Ekkart Kindler, Vladimir Rubin, and Robert Wagner: Component Tools: Application and Integration of Formal Methods.
In: Electronic proceedings of the Workshop Object Orientierte Software Entwicklung 2005 (OOSE '05), Satellite event of Net.ObjectDays 2005, Erfurt, Germany, September 2005.

Ekkart Kindler and Frank Nillies: Petri Nets and the Real World.
In: K. Schmidt, C. Stahl (eds.): AWPN workshop, proceedings, Berlin, Germany, pp. 19-24. September 2005.

Nicolas Cuntz and Ekkart Kindler: On the semantics of EPCs - Efficient calculation and simulation.
Enterpise Modelling and Information Systems Architecture, 1 (1), 14-24, October 2005.

Nicolas Cuntz, Jörn Freiheit, and Ekkart Kindler: On the semantics of EPCs: Faster calculation for EPCs with small state spaces.
In: M. Nüttgens, F. J. Rump (eds.): EPK 2005: Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, Hamburg. Proceedings, pp. 7-23, December 2005.
Also: CEUR Workshop Proceedings, Vol. 167

Ekkart Kindler, Vladimir Rubin, and Wilhelm Schäfer: Incremental Workflow Mining based on Document Versioning Information.
In: M. Li, B. Boehm, L. J. Osterweil (Eds.): Unifying the Software Process Spectrum: International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers. Springer, LNCS 3840, pp. 387-301, 2005.

2006

Ekkart Kindler: On the semantics of EPCs: Resolving the vicious circle.
Data & Knowledge Engineering, Special Issue on Business Process Management, 56 (1), 23-40, January 2006.

Ekkart Kindler, Vladimir Rubin, and Wilhelm Schäfer: Activity Mining for Discovering Software Process Models.
Accepted as short paper for Software Engineering 2006, SE 2006, Leipzig, Germany, March 2006.

Ekkart Kindler, Vladimir Rubin, and Robert Wagner: Component Tools: Anwendung und Integration Formaler Methoden (in German).
Accepted for 4. Paderborner Workshop Entwurf mechatronischer Systeme, Paderborn, Germany, March 2006.

Ekkart Kindler and Frank Nillies: Petri Nets and the Real World.
Petri Net Newsletter 70, Cover Picture Story, pp. 3-8, April 2006.

Ekkart Kindler: The Petri Net Markup Language and ISO/IEC 15909-2: Concepts, Status, and Future Directions.
Invited talk at Entwurf komplexer Automatisierungssysteme, 9. Fachtagung, In E. Schnieder (ed.), EKA 2006 Braunschweig, Germany, May 2006, pp. 35-55.

Ekkart Kindler, Vladimir Rubin, and Wilhelm Schäfer: Incremental Workflow Mining for Process Flexibility.
Accepted for Seventh Workshop on Business Process Modeling, Development, and Support (BPMDS 2006), Satellite workshop of CAISE'06, Luxembourg, Luxembourg, June 2006.

Ekkart Kindler, Vladimir Rubin, and Robert Wagner: Component Tools: Integrating Petri nets with other formal methods.
Invited talk at: International Conference on Theory and Application of Petri Nets 2006, 27th International Conference, Turku, Finland. June 2006. LNCS 4024, pp. 37-56.

Björn Axenath, Ekkart Kindler, and Vladimir Rubin: AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects.
In post-proceedings of the Dagstuhl Seminar on The Role of Business Processes in Service Oriented Architectures, Schloß Dagstuhl, Germany, July 2006.

Ekkart Kindler, Vladimir Rubin, and Wilhelm Schäfer: Process Mining and Petri Net Synthesis.
Workshop on Business Process Intelligence (BPI 2006), held in conjunction with BPM 2006, Vienna, Austria, September 2006.
Published in Springer, LNCS 4103, pp. 105-116.

W.M.P. van der Aalst, V. Rubin, B.F. van Dongen, E. Kindler, and C.W. Günther: Process Mining: A Two-Step Approach using Transition Systems and Regions. BPM Center Report BPM-06-30, BPM Center, December 2006.

2007

V. Rubin, C.W. Günther, W.M.P. van der Aalst, E. Kindler, B.F. van Dongen, and W. Schäfer: Process Mining Framework for Software Processes.
BPM Center Report BPM-07-01, BPMcenter.org, January 2007.

V. Rubin, C.W. Günther, W.M.P. van der Aalst, E. Kindler, B.F. van Dongen, and W. Schäfer: Process Mining Framework for Software Processes.
In: Q. Wang, D. Pfahl, and D. M. Raffo (eds.), Software Process Dynamics and Agility, International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA May 2007. LNCS 4470, pp. 169-181. (see also BPM Center Report BPM-07-01).

E. Kindler and R. Wagner: Triple Graph Grammars: Concepts, Extensions, Implementations, and Application Scenarios.
Tech. Rep. tr-ri-07-284, Software Engineering Group, Department of Computer Science, University of Paderborn, June 2007.

M. Gehrke, B. Güldali, and E. Kindler: Modelchecking - Eine Methode zur Verbesserung der Softwarequalität (in German).
s-lab report no. 2, Software Quality Lab, University of Paderborn, July 2007.

ISO/JTC1/SC7/WG19: Software and Systems Engineering - High-level Petri Nets Part 2: Transfer Format.
FCD 15909-2, v. 1.2.0, ISO/IEC, June 2007.
(Due to ISO/IEC policies, I cannot make that freely available here! But, national experts can ask for a copy.)

J. Greenyer and E. Kindler: Reconciling TGGs with QVT.
In: G. Engels, B. Opdyke, D. C. Schmidt, F. Weil (eds.), MoDELS 2007, Model Driven Engineering Languages and Systems, 10th International Conference, Nashville, USA, September 30 - October 5, 2007, Proceedings. Springer LNCS 4735, pp. 16-30.

Björn Axenath, Ekkart Kindler, and Vladimir Rubin: AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects.
International Journal on Business Process Integration and Management, 2007, Vol. 2, No.2, pp. 120 - 131.

Ekkart Kindler: Modular PNML revisited: Some ideas for strict typing.
In: S. Philippi and A. Pinl (eds.), 14. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN 2007), September 2007, Universität Koblenz-Landau, Germany, pp. 20-25.

2008

Joel Greenyer, Jan Rieke, Oleg Travkin, and Ekkart Kindler: TGGs for Transforming UML to CSP: Contribution to the ACTIVE 2007 Graph Transformation Tools Contest.
Tech. Rep. tr-ri-07-287, Software Engineering Group, Department of Computer Science, University of Paderborn, Jan. 2008.

W.M.P. van der Aalst, V. Rubin, H.M.W. Verbeek, B.F. van Dongen, E. Kindler, and C.W. Günther. Process Mining: A Two-Step Approach to Balance Between Underfitting and Overfitting.
BPM Center Report BPM-08-01, BPMcenter.org, 2008.

Ekkart Kindler and David Schmelter: Aspect-Oriented Modelling from a Different Angle: Modelling Domains with Aspects.
In: Proceedings of the Workshop on Aspect-Oriented Modelling (Twelfth Edition), April 1, 2008, Brussels, Belgium, pp. 7-12.

Ekkart Kindler, Patrick Könemann, and Ludger Unland: Diff-based model synchronization in an industrial MDD process.
IMM-Technical Report-2008-07, DTU Informatics, Lyngby, June 2008.

Giuliana Franceschinis, Kees van Hee, Ekkart Kindler, Fabrice Kordon, Lars M. Kristensen, and Karsten Wolf: Requirements and Evaluation of tool papers for PETRI NETS.
Petri Net Newsletter 75, pp. 9-18, October 2008.

2009

Ekkart Kindler: Modelling Constructs.
In: J. Cardoso and W.v.d. Aalst (eds.): Handbook of Research on Business Process Modeling.
IGI Publishers, pp. 122-141, April 2009.

Ekkart Kindler: Model-based Software Engineering and Process-Aware Information Systems.
In: K. Jensen and W.v.d. Aalst (eds.): Transactions on Petri Nets and Other Models of Concurrency II: Special Issue on Concurrency in Process-Aware Information Systems , Springer, LNCS 5460, pp. 27-45, 2009.

Ekkart Kindler and Laure Petrucci: Towards a Standard for Modular Petri Nets: A Formalisation.
In: K. Schmidt and G. Franceschinis (eds.): Proceedings of the Application and Theory of Petri Nets 2009, 30th International Conference, Paris, France. June 2009. Springer, LNCS 5606, pp. 43-62.

Ekkart Kindler, Patrick Könemann, and Ludger Unland: Difference-based model synchronization in an industrial MDD process.
In: Proceedings of the 2nd Second Model-Driven Tool and Process Integration Workshop (MDTPI), June 24, 2009, Fraunhofer Institute for Open Communication Systems, pp. 1-12.
(see also the IMM-Technical Report-2008-07).

Interview: Vi skal op ad abstraktions-stigen og væk fra synlig kildekode.
Version2, July 2009.

L. Hillah, E. Kindler, F. Kordon, L. Petrucci, and N. Treves: A primer on the Petri Net Markup Language and ISO/IEC 15909-2. Petri Net Newsletter, Vol. 76, pp. 9-28, Oct. 2009.
Originally presented at: K. Jensen (ed.): Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (CPN '09), Århus, Denmark, Oct. 2009, pp. 101-120.

E. Kindler and L. Petrucci: A framework for the definition of variants of high-level Petri nets.
In: K. Jensen (ed.): Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (CPN '09), Århus, Denmark, Oct. 2009, pp. 121-137.

2010

W.M.P. van der Aalst, V. Rubin, H.M.W. Verbeek, B.F. van Dongen, E. Kindler, and C. W. Günther: Process mining: a two-step approach to balance between underfitting and overfitting. Software and Systems Modeling, Vol. 9, no. 1, pp. 87-111, January 2010, regular paper (electronic version: Springer online first, Nov. 2008).

J. Greenyer and E. Kindler: Comparing relational model tranformation techniques: implementing QVT with Triple Graph Grammars. Software and Systems Modeling , Vol. 9, no. 1, pp. 21-46, January 2010, Special Section on MODELS 2007 (electronic version: Springer online first, July 2009).

Ekkart Kindler: Model-based Software Engineering; The challenges of modelling behaviour. In: Proceedings of the Second Workshop on Behavioural Modelling - Foundations and Application (BM-FA 2010), Paris, France, June 2010.

Ekkart Kindler: Ny software helt uden programmering.
In: videnskab.dk , July 2010.

2011

Ekkart Kindler: ePNK: A generic PNML tool - Users' and Developers' Guide : version 0.9.1.
IMM-Technical Report-2011-03, DTU Informatics, Kgs. Lyngby, Denmark, February 2011.

Ekkart Kindler: Integrating behaviour in software models: An event coordination notation – concepts and prototype.
In M. Aksit, E. Kindler, E. Roubtsova, and A. McNeile, editors, Proceedings of the Third Workshop on Behavioural Modelling – Foundations and Application (BM-FA '11), pages 41-48, June 2011.

Ekkart Kindler: Modelling local and global behaviour: Petri nets and event coordination.
In M. Duvigneau, D. Moldt, and K. Hiraishi, editors, Petri Nets and Software Engineering. International Workshop PNSE'11, Newcastle upon Tyne, UK, June 2011. Proceedings, volume 723 of CEUR Workshop Proceedings, pages 42-56, June 2011.

Ekkart Kindler: The ePNK: An extensible Petri net tool for PNML. In Lars M. Kristensen and Laure Petrucci (eds.), Applications and Theory of Petri Nets, 32nd International Conference, Proceedings, LNCS 6709, pages 318-327. Springer, 2011.

2012

Ekkart Kindler: The Event Coordination Notation: Execution engine and programming framework.
In H. Störrle, G. Botterweck, M. Bourdellès, D. Kolovos, R. Paige, E. Roubtsova, J. Rubin, J.-P. Tolvanen (eds.), Joint Proceedings of co-located Events at the 8th European Conference on Modelling Foundations and Applications (ECMFA 2012), BM-FA '12, pages 143-157, July 2012.

A. Vallecillo, J.-P. Tolvanen, E. Kindler, H. Störrle, D. S. Kolovos (eds.): Modelling Foundations and Applications - 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings, Springer, LNCS 7349, July 2012.

A. Barros, A. Gal, E. Kindler, (eds.): Business Process Management, 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings, Springer, LNCS 7481, September 2012.

Ekkart Kindler: An ECNO semantics for Petri nets.
Cover Picture Story in Petri Net Newsletter, 81:3–16, October 2012.

Ekkart Kindler: Modelling Local and Global Behaviour: Petri Nets and Event Coordination.
In K. Jensen, W.M.P. van der Aalst, M. Ajmone Marsan, G. Franceschinis, J. Klejn and L.M. Kristensen (eds.): Transactions on Petri Nets and Other Models of Concurrency VI, LNCS 7400, pp. 71–93. Springer 2012.

Kent Inge Fagerland Simonsen, Lars Kristensen, Ekkart Kindler: Code Generation for Protocols from CPN models Annotated with Pragmatics (Extended abstract).
In 24th Nordic Workshop on Programming Theory, Bergen, Norway, November 2012.

E. Kindler, H. Baumeister, A. Haxthausen, and J. Kiniry: On the dimensions of software documents — An idea for framing the software engineering process.
In I. Jacobsen, M. Goedicke, and P. Johnson (eds.): The Semat Workshop on a General Theory of Software Engineering (GTSE 2012), Stockholm Sweden, November 8-9, 2012.

Ekkart Kindler: ePNK: A generic PNML tool - Users' and Developers' Guide for Version 1.0.0.
IMM-Technical Report-2012-14, DTU Informatics, Kgs. Lyngby, Denmark, December 2012. Extended and revised version of IMM-Technical Report-2011-03.

2013

Kent Inge Fagerland Simonsen, Lars Kristensen, Ekkart Kindler: Code Generation for Protocols from CPN models Annotated with Pragmatics.
IMM-Technical Report-2013-1, DTU Informatics, Kgs. Lyngby, Denmark, January 2013.

Ekkart Kindler, Mindaugas Laganeckas: A simulator for high-level Petri nets: An ePNK application.
Technical Contribution in Petri Net Newsletter 82:3–19, April 2013.

K. I. F. Simonsen, L. M. Kristensen1, E. Kindler: Generating Protocol Software from CPN models Annotated with Pragmatics.
In J. Iyoda, L. de Moura (eds.): Formal Methods: Foundations and Applications, 16th Brazilian Symposium, SBFM 2013, September/October 2013, Brasilia, Brazil. Proceedings, Springer LNCS 8195, pp. 227–242.

J. Greenyer, E. Kindler: Assume-Guarantee Compositional Synthesis of Controllers from Scenario-Based Specifications.
In A. Moreira, B. Schätz, J. Gray, A. Vallecillo, P. Clarke (eds.): Model-Driven Engineering Languages and Systems, 16th International Conference (MODELS 2013), September/October 2013, Miami, Florida, USA. Proceedings, Springer LNCS 8107, pp. 774–789.

2014

Alistair Barros, Avigdor Gal, Ekkart Kindler (guest editors): Special issue: Selected papers of BPM 2012. Information Systems.
Pre-publication release, March 2014.

Ekkart Kindler: Coordinating Interactions: The Event Coordination Notation.
DTU Compute Technical Report 2014-05, DTU Compute, Kgs. Lyngby, Denmark, May 2014.

G. Ciardo and E. Kindler, (eds.): Application and Theory of Petri Nets and Concurrency, 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings, Springer, LNCS 8489, June 2014.

2015

Kent Inge Fagerland Simonsen, Lars M. Kristensen, Ekkart Kindler: Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. In D. Moldt, Heiko Rölke, H. Störrle: Petri Nets and Software Engineering (PNSE 2015), Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015). Brussels, Belgium, June 22–23, 2015. CEUR Workshop Proceedings, Vol-1372, July 2015.

Jesper Jepsen and Ekkart Kindler: The Event Coordination Notation: Behaviour Modelling beyond Mickey Mouse. In E. Roubtsova, A. McNeile, E. Kindler, C. Gerth (eds.): Behavior Modeling — Foundations and Applications. International Workshops, BM-FA 2009-2014, Revised Selected Papers, Springer, Series: Information Systems and Applications, incl. Internet/Web, and HCI, LNCS 6368, 2015.

E. Roubtsova, A. McNeile, E. Kindler, C. Gerth (eds.): Behavior Modeling — Foundations and Applications. International Workshops, BM-FA 2009-2014, Revised Selected Papers, Springer, Series: Information Systems and Applications, incl. Internet/Web, and HCI, LNCS 6368, 2015.

A. Cunha and Ekkart Kindler (eds.): Bx 2015 — Bidirectional Transformations. Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations (STAF 2015), L'Aquila, Italy, July 24, 2015. CEUR Workshop Proceedings, Vol.-1369.