The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jörg Desel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jörg Desel
    Basic Linear Algebraic Techniques for Place or Transition Nets. [Citation Graph (0, 0)][DBLP]
    Petri Nets, 1996, pp:257-308 [Conf]
  2. Jörg Desel, Vesna Milijic, Christian Neumair
    Model Validation in Controller Design. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:467-495 [Conf]
  3. Jörg Desel, Wolfgang Reisig
    Place or Transition Petri Nets. [Citation Graph (0, 0)][DBLP]
    Petri Nets, 1996, pp:122-173 [Conf]
  4. Jörg Desel, Ekkart Kindler
    Proving Correctness of Distributed Algorithms Using High-Level Petri Nets - A Case Study. [Citation Graph (0, 0)][DBLP]
    ACSD, 1998, pp:177-186 [Conf]
  5. Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli, Jorg Desel
    Schedulability Analysis of Petri Nets Based on Structural Properties. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:69-78 [Conf]
  6. Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz
    Can I Execute My Scenario in Your Net? VipTool Tells You! [Citation Graph (0, 0)][DBLP]
    ICATPN, 2006, pp:381-390 [Conf]
  7. Jörg Desel
    Model Validation - A Theoretical Issue? [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:23-43 [Conf]
  8. Jörg Desel
    On abstraction of nets. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1990, pp:78-92 [Conf]
  9. Jörg Desel
    A Proof of the Rank Theorem for Extended Free Choice Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:134-153 [Conf]
  10. Jörg Desel, Javier Esparza
    Shortest Paths in Reachability Graphs. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:224-241 [Conf]
  11. Jörg Desel, Gabriel Juhás
    ''What Is a Petri Net?''. [Citation Graph (0, 0)][DBLP]
    Unifying Petri Nets, 2001, pp:1-25 [Conf]
  12. Jörg Desel, Gabriel Juhás, Robert Lorenz
    Process Semantics of Petri Nets over Partial Algebra. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2000, pp:146-165 [Conf]
  13. Jörg Desel, Gabriel Juhás, Robert Lorenz
    Petri Nets over Partial Algebra. [Citation Graph (0, 0)][DBLP]
    Unifying Petri Nets, 2001, pp:126-172 [Conf]
  14. Jörg Desel, Gabriel Juhás, Christian Neumair
    Finite Unfoldings of Unbounded Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:157-176 [Conf]
  15. Jörg Desel, Agathe Merceron
    P/T-systems as abstractions of C/E-systems. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1988, pp:105-127 [Conf]
  16. Jörg Desel, Agathe Merceron
    Vicinity respecting net morphisms. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1989, pp:165-185 [Conf]
  17. Gabriel Juhás, Robert Lorenz, Jörg Desel
    Can I Execute My Scenario in Your Net?. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:289-308 [Conf]
  18. Ferucio Laurentiu Tiplea, Jörg Desel
    Petri Net Process Decomposition with Application to Validation. [Citation Graph (0, 0)][DBLP]
    AWPN, 1999, pp:- [Conf]
  19. Jörg Desel
    How Distributed Algorithms Play the Token Game. [Citation Graph (0, 0)][DBLP]
    Foundations of Computer Science: Potential - Theory - Cognition, 1997, pp:297-306 [Conf]
  20. Jörg Desel
    Validation of Process Models by Construction of Process Nets. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2000, pp:110-128 [Conf]
  21. Jörg Desel, Thomas Erwin
    Modeling, Simulation and Analysis of Business Processes. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2000, pp:129-141 [Conf]
  22. Jörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair
    Modelling and Validation with VipTool. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2003, pp:380-389 [Conf]
  23. Jörg Desel
    Reduction and Design of Well-behaved Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:166-181 [Conf]
  24. Jörg Desel
    Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:199-205 [Conf]
  25. Jörg Desel, Thomas Erwin
    Quantitative Engineering of Business Processes with VIP business. [Citation Graph (0, 0)][DBLP]
    Petri Net Technology for Communication-Based Systems, 2003, pp:219-242 [Conf]
  26. Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz, Christian Neumair
    A Guide to Modelling and Control with Modules of Signal Nets. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:270-300 [Conf]
  27. Jörg Desel
    Tutorium: Validierung und Verifikation von Prozessmodellen. [Citation Graph (0, 0)][DBLP]
    Promise, 2002, pp:78-80 [Conf]
  28. Jörg Desel, Thomas Erwin, Wolffried Stucky
    Simulation und Leistungsbewertung von Geschäftsprozessen. [Citation Graph (0, 0)][DBLP]
    EMISA, 1999, pp:127-146 [Conf]
  29. Wil M. P. van der Aalst, Jörg Desel, Ekkart Kindler
    On the semantics of EPCs: A vicious circle. [Citation Graph (0, 0)][DBLP]
    EPK, 2002, pp:71-79 [Conf]
  30. Jörg Desel
    Proving Non-Reachabililty by Modulo-Place-Invariants. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1994, pp:366-377 [Conf]
  31. Jörg Becker, Jörg Desel, Ulrich Frank, Stefan Kirn, Helmut Krcmar, Peter Loos, Markus Nüttgens, Michael Rohloff, Reinhard Schütte
    Referenzmodellierung 2003 (RefMod2003). [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 2003, pp:232- [Conf]
  32. Jörg Desel
    Wer will virtuell lehren? Wer will virtuell lernen? [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 2001, pp:1093-1098 [Conf]
  33. Jörg Desel, Horst Reichel
    Workshop: Grundlagen der Parallelität. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1997, pp:626- [Conf]
  34. Jörg Desel
    Petrinetze als Grundlage der Ablaufmodellierung. [Citation Graph (0, 0)][DBLP]
    Modellierung, 1998, pp:- [Conf]
  35. Eike Best, Ludmila Cherkasova, Jörg Desel
    Compositional Generation of Home States in Free Choice Systems. [Citation Graph (0, 0)][DBLP]
    STACS, 1991, pp:398-409 [Conf]
  36. Jörg Desel, Javier Esparza
    Reachability in Reversible Free Choice Systems. [Citation Graph (0, 0)][DBLP]
    STACS, 1991, pp:384-397 [Conf]
  37. Jörg Desel, Wolfgang Reisig
    The Synthesis Problem of Petri Nets. [Citation Graph (0, 0)][DBLP]
    STACS, 1993, pp:120-129 [Conf]
  38. Jörg Desel
    Regular Marked Petri Nets. [Citation Graph (0, 0)][DBLP]
    WG, 1993, pp:264-275 [Conf]
  39. Jörg Desel
    Teaching system modeling, simulation and validation. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2000, pp:1669-1675 [Conf]
  40. Jörg Desel, Wolfgang Reisig
    The Synthesis Problem of Petri Nets. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1996, v:33, n:4, pp:297-315 [Journal]
  41. Jörg Desel, Gabriel Juhás, Robert Lorenz
    Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:4, pp:- [Journal]
  42. Jörg Desel, Gabriel Juhás, Robert Lorenz
    Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal]
  43. Eike Best, Ludmila Cherkasova, Jörg Desel
    Compositional Generation of Home States in Free Choice Nets. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1992, v:4, n:6, pp:572-581 [Journal]
  44. Eike Best, Jörg Desel
    Partial Order Behaviour and Structure of Petri Nets. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1990, v:2, n:2, pp:123-138 [Journal]
  45. Jörg Desel, Ekkart Kindler, Tobias Vesper, Rolf Walter
    A Simplified Proof for a Self-Stabilizing Protocol: A Game of Cards. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1995, v:54, n:6, pp:327-328 [Journal]
  46. Dorothea Tippe, Jörg Desel
    Potentiale Virtueller Lerngruppen aus Sicht der Psychologie. [Citation Graph (0, 0)][DBLP]
    KI, 2003, v:17, n:1, pp:40-0 [Journal]
  47. Eike Best, Jörg Desel, Javier Esparza
    Traps Characterize Home States in Free Choice Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:101, n:2, pp:161-176 [Journal]
  48. Jörg Desel, Javier Esparza
    Reachability in Cyclic Extended Free-Choice Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:114, n:1, pp:93-118 [Journal]
  49. Jörg Desel, K.-P. Neuendorf, M.-D. Radola
    Proving Nonreachability by Modulo-Invariants. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:153, n:1&2, pp:49-64 [Journal]
  50. Jörg Desel, Andreas Oberweis
    Petri-Netze in der angewandten Informatik - Einführung, Grundlagen und Perspektiven. [Citation Graph (0, 0)][DBLP]
    Wirtschaftsinformatik, 1996, v:38, n:4, pp:359-367 [Journal]
  51. Robert Lorenz, Robin Bergenthum, Jörg Desel, Sebastian Mauser
    Synthesis of Petri Nets from Finite Partial Languages. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:157-166 [Conf]
  52. Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser
    Process Mining Based on Regions of Languages. [Citation Graph (0, 0)][DBLP]
    BPM, 2007, pp:375-383 [Conf]

  53. Synthesis of Petri nets from infinite partial languages. [Citation Graph (, )][DBLP]


  54. Synthesis of Petri Nets from Scenarios with VipTool. [Citation Graph (, )][DBLP]


  55. Unifying Petri Net Semantics with Token Flows. [Citation Graph (, )][DBLP]


  56. Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes. [Citation Graph (, )][DBLP]


  57. Learnflow Mining. [Citation Graph (, )][DBLP]


  58. Hilfreiche Hilfe? - Adaptives Learning-on-Demand. [Citation Graph (, )][DBLP]


  59. AMSEL - ein Lernsystem zum Algorithmenentwurf. [Citation Graph (, )][DBLP]


  60. From Human Knowledge to Process Models. [Citation Graph (, )][DBLP]


  61. Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten Sichtweise von Algorithmen. [Citation Graph (, )][DBLP]


  62. Controlling Petri Net Process Models. [Citation Graph (, )][DBLP]


  63. Petri Net Model Synthesis from Scenarios. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002