Libri di Jörg Desel - BookPine

Transactions on Petri Nets and Other Models of Concurrency XI

Transactions on Petri Nets and Other Models of Concurrency XI

Maciej Koutny

Transactions on Petri Nets and Other Models of Concurrency X

Transactions on Petri Nets and Other Models of Concurrency X

Maciej Koutny

Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings

Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings

Jose-Manuel Colom

Das ist Informatik

Das ist Informatik

Jörg Desel

Free Choice Petri Nets

Free Choice Petri Nets

Jörg Desel

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG)

Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG)

Hartmut Ehrig

Lectures on Concurrency and Petri Nets: Advances in Petri Nets

Lectures on Concurrency and Petri Nets: Advances in Petri Nets

Jörg Desel

Business Process Management: Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings

Business Process Management: Second International Conference, BPM 2004, Potsdam, Germany, June 17-18, 2004, Proceedings

Jörg Desel

Modellierung '99: Workshop der Gesellschaft für Informatik e.V. (März 1999 in Karlsruhe)

Modellierung '99: Workshop der Gesellschaft für Informatik e.V. (März 1999 in Karlsruhe)

Jörg Desel

Petrinetze, lineare Algebra und lineare Programmierung: Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen (Teubner Texte zur Informatik, 26)

Petrinetze, lineare Algebra und lineare Programmierung: Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen (Teubner Texte zur Informatik, 26)

Jörg Desel

Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995

Structures in Concurrency Theory: Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995

Jörg Desel

Struktur und Analyse von Free-Choice-Petrinetzen (DUV: Datenverarbeitung)

Struktur und Analyse von Free-Choice-Petrinetzen (DUV: Datenverarbeitung)

Jörg Desel