For the most recent entries see the
Petri Nets Newsletter.
Kindler, E.
-
Kindler, Ekkart;
Rubin, Vladimir;
Schäfer, Wilhelm:
Process Mining and Petri Net Synthesis.
2006.
-
Kindler, Ekkart;
Rubin, Vladimir;
Wagner, Robert:
Component Tools: Integrating Petri Nets with Other Formal Methods.
2006.
-
Kindler, Ekkart:
On the Semantics of EPCs: Resolving the Vicious Circle.
2006.
-
Axenath, Björn;
Kindler, Ekkart;
Rubin, Vladimir:
An Open and Formalism Independent Meta-Model for Business Processes.
2005.
-
Cuntz, Nicolas;
Kindler, Ekkart:
On the semantics of EPCs: Efficient calculation and simulation (Extended Abstract).
2005.
-
Kindler, Ekkard;
Nilies, F.:
Petri Nets and the Real World.
2005.
-
Kindler, Ekkart;
Rubin, Vladimir;
Wagner, Robert:
Component Tools: Application and Integration of Formal Methods.
2005.
-
Kindler, Ekkart;
Rubin, Vladimir;
Schäfer, Wilhelm:
Incremental Workflow Mining based on Document Versioning Information.
2005.
-
Cuntz, Nicolas;
Kindler, Ekkart:
On the semantics of EPCs: Efficient calculation and simulation.
2004.
-
Gepting, A.;
Greenyer, J.;
Kindler, E.;
Maas, A.;
Munkelt, S.;
Pales, C.;
Pivl, T.;
Rohe, O.;
Rubin, V.;
Sander, M.;
Scholand, A.;
Wagner, C.;
Wagner, R.:
Component Tools: A vision for a tool.
2004.
-
Kindler, Ekkart;
Páles, Csaba:
3D-Visualization of Petri Net Models: Concept and Realization.
2004.
-
Kindler, Ekkart:
On the semantics of EPCs: Resolving the vicious circle.
2004.
-
Kindler, Ekkart:
Using the Petri Net Markup Language for Exchanging Business Processes: Potential and Limitations.
2004.
-
Kindler, E.;
Vesper, T.:
ESTL: Some Proof Techniques.
2003.
-
Weber, Michael;
Kindler, Ekkart:
The Petri Net Kernel.
2003.
-
Weber, Michael;
Kindler, Ekkart:
The Petri Net Markup Language.
2003.
-
Kindler, Ekkart:
On the semantics of EPCs: A framework for resolving the vicious circle -- Extended Abstract.
2003.
-
Kindler, Ekkart;
Páles, Csaba:
3D-Visualization of Petri Net Models: A concept.
2003.
-
Kindler, Ekkart:
On the semantics of EPCs: A framework for resolving the vicious circle.
2003.
-
Billington, Jonathan;
Christensen, Søren;
van Hee, Kees;
Kindler, Ekkart;
Kummer, Olaf;
Petrucci, Laure;
Post, Reinier;
Stehno, Christian;
Weber, Michael:
The Petri Net Markup Language: Concepts, Technology, and Tools.
2003.
-
van der Aalst, W.M.P.;
Desel, J.;
Kindler, E.:
On the Semantics of EPCs: A Vicious Circle.
2002.
-
Kindler, Ekkart:
DAWN for component based systems - just a different view.
2002.
-
Kindler, Ekkart:
Petri Nets, Situations, and Automata.
2002.
-
Kindler, Ekkart;
Weber, Michael:
A universal module Concept for Petri nets.
2001.
-
Kindler, Ekkart;
Weber, Michael:
Modules in Pictures.
2001.
-
Desel, Jörg;
Kindler, Ekkart:
Petri nets and components - extending the DAWN approach?.
2001.
-
Kindler, Ekkart;
Völzer, Hagen:
Algebraic Nets with Flexible Arcs.
2001.
-
Kindler, Ekkart;
Weber, Michael:
The Petri Net Kernel -- An Infrastructure for Building Petri Net Tools.
2001.
-
Kindler, E.;
Martens, A.;
Reisig, W.:
Inter-operability of Workshop Applications: Local Criteria for Global Soundness.
2000.
-
Jüngel, M.;
Kindler, E.;
Weber, M.:
The Petri Net Markup Language.
2000.
-
Kindler, Ekkart:
Consistency, Causality, Petri Nets, and Automata.
2000.
-
Jüngel, M.;
Kindler, E.;
Weber, M.:
Towards a Generic Interchange Format for Petri Nets.
2000.
-
Kindler, Ekkart;
Martens, Axel:
Cross-talk revisited: What's the Problem?.
2000.
-
Kindler, E.;
van der Aalst, W.M.P.:
Liveness, Fairness, and Recurrence.
1999.
-
Kindler, E.;
Vesper, T.;
Weber, M.:
Application Oriented Verification Scenarios.
1999.
-
Baar, Thomas;
Kindler, Ekkart;
Völzer, Hagen:
Verifying Intuition - ILF Checks DAWN Proofs.
1999.
-
Kindler, Ekkart;
Martens, Axel:
Szenarios: Lokale Kriterien für globale Korrektheit.
1999.
-
Kindler, Ekkart;
Weber, Michael:
The Petri Net Kernel: An Infrastructure for Building Petri Net Tools.
1999.
-
Baar, Thomas;
Kindler, Ekkart:
ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool.
1998.
-
Kindler, Ekkart;
Oschmann, Frank:
The Petri Net Kernel: an INA Pilot.
1998.
-
Kindler, Ekkart;
Peuker, Sibylle:
Integrating Distributed Algorithms into Distributed Systems.
1998.
-
Reisig, W.;
Kindler, E.;
Vesper, T.;
Völzer, H.:
Distributed Algorithms for Networks of Agents.
1998.
-
van der Aalst, W.M.P.;
Kindler, E.;
Desel, J.:
Beyond Asymmetric Choice: A note on some extensions.
1998.
-
Kindler, Ekkart;
Weber, Michael:
The Dimensions of Petri nets: The Petri Net Cube.
1998.
-
Kindler, Ekkart;
Vesper, Tobias:
ESTL: A Temporal Logic for Events and States.
1998.
-
Kindler, E.;
Völzer, H.:
Flexibility in Algebraic Nets.
1998.
-
Kindler, Ekkart:
Database Theory - Petri Net Theory - Workflow Theory.
1998.
-
Baar, Thomas;
Kindler, Ekkart:
Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen - Eine Vorstudie.
1998.
-
Desel, Jörg;
Kindler, Ekkart:
Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study.
1998.
-
Hauptmann, J.;
Hohberg, B.;
Kindler, E.;
Schwenzer, I.;
Weber, M.:
Der Petrinetz-Kern - Dokumentation der Anwendungs-Schnittstelle.
1998.
-
Fricke, O.;
Borusan, A.;
Vesper, T.;
Kindler, E.:
Verifikation im Vorgehensmodell anhand eines Beipsiels.
1997.
-
Kindler, Ekkart:
Der Petrinetz-Kern: Ein Traum wird wahr.
1997.
-
Kindler, E.;
Reisig, W.:
Verification of distributed algorithms with algebraic Petri nets.
1997.
-
Walter, Rolf;
Kindler, Ekkart:
Mutex needs fairness.
1997.
-
Weber, M.;
Walter, R.;
Völzer, H.;
Vesper, T.;
Reisig, W.;
Peuker, S.;
Kindler, E.;
Freiheit, J.;
Desel, J.:
DAWN. Petrinetzmodelle zur Verifikation Verteilter Algorithmen.
1997.
-
Desel, J.;
Kindler, E.;
Oberweis, A.:
4. Workshop Algorithmen und Werkzeuge für Petrinetze.
1997.
-
Kindler, Ekkart:
Inhibitor Arcs: A Philosophical View.
1997.
-
Kindler, Ekkart:
Der Petrinetz-Kern: Ein einfaches Anwendungsbeispiel.
1997.
-
Kindler, Ekkart;
Vesper, Tobias:
A Temporal Logic for Events and States in Petri Nets.
1997.
-
Kindler, Ekkart:
A Compositional Partial Order Semantics for Petri Net Components.
1997.
-
Desel, Jörg;
Kindler, Ekkart:
Proving Correctness of Distributed Algorithms: A Petri Net Approach.
1997.
-
Kindler, Ekkart;
Desel, Jörg:
Der Traum von einem universellen Petrinetz-Werkzeug - Der Petrinetz-Kern.
1996.
-
Kindler, Ekkart;
Vesper, Tobias:
Automatisch überprüfbare Beweistechniken für algebraische Petrinetze.
1996.
-
Kindler, Ekkart;
Reisig, Wolfgang:
Algebraic system nets for modelling distributed algorithms.
1996.
-
Desel, J.;
Kindler, E.;
Oberweis, A.:
3. Workshop Algorithmen und Werkzeuge für Petrinetze.
1996.
-
Kindler, Ekkart:
A specification and verification method for caching protocols.
1996.
-
Walter, Rolf;
Völzer, Hagen;
Vesper, Tobias;
Reisig, Wolfgang;
Kindler, Ekkart;
Freiheit, Jörn;
Desel, Jörg:
Memorandum: Petrinetzmodelle zur Verifikation Verteilter Algorithmen.
1996.
-
Kindler, Ekkart;
Walter, Rolf:
Arc-Typed Petri Nets.
1996.
-
Kindler, Ekkart;
Reisig, Wolfgang;
Völzer, Hagen;
Walter, Rolf:
Petri Net Based Verification of Distributed Algorithms: An Example.
1996.
-
Kindler, Ekkart;
Listl, Andreas;
Walter, Rolf:
A Specification Method for Transaction Models with Data Replication.
1996.
-
Desel, Jörg;
Kindler, Ekkart;
Vesper, Tobias;
Walter, Rolf:
A simplified proof for a self-stabilizing protocol: A Game of Cards.
1995.
-
Kindler, E.:
Modularer Entwurf verteilter Systeme mit Petrinetzen.
1995.
-
Kindler, Ekkart;
Walter, Rolf:
Message passing mutex.
1995.
-
Kindler, Ekkart:
Invariants, composition, and substitution.
1995.
-
Desel, Jörg;
Kindler, Ekkart;
Walter, Rolf:
The Game of Tokens: A Collection of Proofs.
1995.
-
Desel, Jörg;
Kindler, Ekkart;
Walter, Rolf:
A game of tokens (proof contest).
1994.
-
Kindler, Ekkart;
Listl, Andreas;
Walter, Rolf:
Kausalitätsbasierte Beweismethoden für parallele Datenbanksysteme: Eine Fallstudie.
1994.
-
Kindler, Ekkart:
Safety and Liveness Properties: A Survey.
1994.
-
Gomm, Dominik;
Kindler, Ekkart:
Causality Based Proof of a Distributed Shared Memory System.
1993.
-
Gomm, D.;
Kindler, E.;
Paech, B.;
Walter, R.:
Compositional Liveness Properties of EN-Systems.
1993.
-
Kindler, Ekkart;
Walter, Rolf:
Rearranging Problems.
1993.
-
Desel, Jörg;
Gomm, Dominik;
Kindler, Ekkart;
Walter, Rolf;
Paech, Barbara:
Bausteine eines kompositionalen Beweiskalküls für netzmodellierte Systeme.
1992.
-
Gomm, Dominik;
Kindler, Ekkart:
A Weakly Coherent Virtually Shared Memory Scheme: Formal Specification and Analysis.
1991.
-
Gomm, Dominik;
Kindler, Ekkart:
Causality Based Specification and Correctness Proof of a Virtually Shared Memory Scheme.
1991.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The link to the author's homepage is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography