Ekkart Kindler
From MaRDI portal
Person:590540
Available identifiers
zbMath Open kindler.ekkartWikidataQ25939354 ScholiaQ25939354MaRDI QIDQ590540
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Arc-typed Petri Nets | 2019-05-02 | Paper |
| Mutex needs fairness | 2016-05-26 | Paper |
| The ePNK: An Extensible Petri Net Tool for PNML | 2011-06-29 | Paper |
| Towards a Standard for Modular Petri Nets: A Formalisation | 2009-06-30 | Paper |
| CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
| Applications and Theory of Petri Nets 2004 | 2005-12-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3045262 | 2004-08-12 | Paper |
| Algebraic nets with flexible arcs | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264231 | 1999-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264236 | 1999-09-16 | Paper |
| Petri net based verification of distributed algorithms: An example | 1998-06-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4371026 | 1998-01-07 | Paper |
| A simplified proof for a self-stabilizing protocol: A Game of Cards | 1997-02-28 | Paper |
| Invariants, composition, and substitution | 1995-07-24 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Ekkart Kindler