Остановите войну!
for scientists:
default search action
Jörg Desel
- > Home > Persons > Jörg Desel
Publications
- 2022
- [c74]Jörg Desel:
The Chameleon Game. PNSE@Petri Nets 2022: 202-210 - 2020
- [c71]Jörg Desel:
Modellieren lehren - Lehren modellieren (Extended Abstract) (Teaching Modeling - Model Teaching). Modellierung (Companion) 2020: 58-62 - 2019
- [c70]Jörg Desel:
Can a Single Transition Stop an Entire Net? ATAED@Petri Nets/ACSD 2019: 23-35 - [p2]Jörg Desel:
Carl Adam Petri's Synchronic Distance. Carl Adam Petri: Ideas, Personality, Impact 2019: 119-132 - 2017
- [c68]Jörg Desel:
Die Entwicklung neuer GI-Empfehlungen für Informatik-Studiengänge. GI-Jahrestagung 2017: 235-240 - 2013
- [c61]Jörg Desel:
On Cyclic Behaviour of Unbounded Petri Nets. ACSD 2013: 110-119 - 2008
- [c47]Jörg Desel:
From Human Knowledge to Process Models. UNISCON 2008: 84-95 - 2007
- [c43]Jörg Desel:
Controlling Petri Net Process Models. WS-FM 2007: 17-30 - 2006
- [c40]Jörg Desel:
Petri Net Model Synthesis from Scenarios. MBEES 2006: 19-26 - 2005
- [p1]Jörg Desel:
Process Modeling Using Petri Nets. Process-Aware Information Systems 2005: 147-177 - 2004
- [c37]Jörg Desel:
Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering. SoftSpez Final Report 2004: 199-205 - 2002
- [c30]Jörg Desel:
Model Validation - A Theoretical Issue? ICATPN 2002: 23-43 - [c29]Jörg Desel:
Tutorium: Validierung und Verifikation von Prozessmodellen. Promise 2002: 78-80 - 2001
- [c25]Jörg Desel:
Wer will virtuell lehren? Wer will virtuell lernen? GI Jahrestagung (2) 2001: 1093-1098 - [e6]Jörg Desel:
Das ist Informatik. Springer 2001, ISBN 3-540-41091-0 [contents] - 2000
- [c22]Jörg Desel:
Validation of Process Models by Construction of Process Nets. Business Process Management 2000: 110-128 - [c20]Jörg Desel:
Teaching system modeling, simulation and validation. WSC 2000: 1669-1675 - 1998
- [c16]Jörg Desel:
Petrinetze als Grundlage der Ablaufmodellierung. Modellierung 1998 - 1997
- [c15]Jörg Desel:
How Distributed Algorithms Play the Token Game. Foundations of Computer Science: Potential - Theory - Cognition 1997: 297-306 - 1996
- [c12]Jörg Desel:
Basic Linear Algebraic Techniques for Place or Transition Nets. Petri Nets 1996: 257-308 - 1995
- [e1]Jörg Desel:
Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995. Workshops in Computing, Springer 1995, ISBN 978-3-540-19982-3 [contents] - 1994
- [c11]Jörg Desel:
Proving Non-Reachabililty by Modulo-Place-Invariants. FSTTCS 1994: 366-377 - 1993
- [c8]Jörg Desel:
Regular Marked Petri Nets. WG 1993: 264-275 - 1992
- [b1]Jörg Desel:
Struktur und Analyse von Free-Choice-Petrinetzen. Technical University Munich, Germany, DUV Informatik, Deutscher Universitätsverlag 1992, ISBN 978-3-8244-2030-8, pp. I-XII, 1-198 - [c7]Jörg Desel:
A Proof of the Rank Theorem for Extended Free Choice Nets. Application and Theory of Petri Nets 1992: 134-153 - 1990
- [c4]Jörg Desel:
On abstraction of nets. Applications and Theory of Petri Nets 1990: 78-92 - [c3]Jörg Desel:
Reduction and Design of Well-behaved Concurrent Systems. CONCUR 1990: 166-181
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-21 18:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint