The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wolfgang Reisig: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jörg Desel, Wolfgang Reisig
    Place or Transition Petri Nets. [Citation Graph (0, 0)][DBLP]
    Petri Nets, 1996, pp:122-173 [Conf]
  2. Wolfgang Reisig
    Petri Nets in Software Engineering. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets, 1986, pp:63-96 [Conf]
  3. Wolfgang Reisig
    Place/Transition Systems. [Citation Graph (0, 0)][DBLP]
    Advances in Petri Nets, 1986, pp:117-141 [Conf]
  4. Wolfgang Reisig
    Embedded System Description Using Petri Nets. [Citation Graph (0, 0)][DBLP]
    Embedded Systems, 1986, pp:18-62 [Conf]
  5. Wolfgang Reisig, Ekkart Kindler, Tobias Vesper, Hagen Völzer, Rolf Walter
    Distributed Algorithms for Networks of Agents. [Citation Graph (0, 0)][DBLP]
    Petri Nets (2), 1996, pp:331-385 [Conf]
  6. Wolfgang Reisig, Grzegorz Rozenberg
    Informal Introduction to Petri Nets. [Citation Graph (0, 0)][DBLP]
    Petri Nets, 1996, pp:1-11 [Conf]
  7. Adrianna Alexander, Wolfgang Reisig
    Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:167-176 [Conf]
  8. Christian Stahl, Wolfgang Reisig, Milos Krstic
    Hazard Detection in a GALS Wrapper: A Case Study. [Citation Graph (0, 0)][DBLP]
    ACSD, 2005, pp:234-243 [Conf]
  9. Baver Acu, Wolfgang Reisig
    Compensation in Workflow Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2006, pp:65-83 [Conf]
  10. Stefan Drees, Dominik Gomm, Helmut Plünnecke, Wolfgang Reisig, Rolf Walter
    Bibliography of Petri nets. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory of Petri Nets, 1986, pp:309-451 [Conf]
  11. Andreas Glausch, Wolfgang Reisig
    How Expressive Are Petri Net Schemata?. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2006, pp:201-220 [Conf]
  12. Ursula Goltz, Wolfgang Reisig
    Weighted Synchronic Distances. [Citation Graph (0, 0)][DBLP]
    Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:289-300 [Conf]
  13. Ursula Goltz, Wolfgang Reisig
    CSP-programs with individual tokens. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory in Petri Nets, 1984, pp:169-196 [Conf]
  14. Ursula Goltz, Wolfgang Reisig, P. S. Thiagarajan
    Two Alterative Definitions of Synchronic Distance. [Citation Graph (0, 0)][DBLP]
    Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:96-103 [Conf]
  15. Wolfgang Reisig
    On the Expressive Power of Petri Net Schemata. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:349-364 [Conf]
  16. Wolfgang Reisig
    Overview. [Citation Graph (0, 0)][DBLP]
    Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:109-110 [Conf]
  17. Wolfgang Reisig
    Recursive Nets. [Citation Graph (0, 0)][DBLP]
    Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981, pp:125-130 [Conf]
  18. Wolfgang Reisig
    Petri Nets with Individual Tokens. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory of Petri Nets, 1982, pp:229-249 [Conf]
  19. Wolfgang Reisig
    A strong part of concurrency. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory of Petri Nets, 1986, pp:238-272 [Conf]
  20. Wolfgang Reisig
    Combining Petri Nets and Other Formal Methods. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:24-44 [Conf]
  21. Helmut Plünnecke, Wolfgang Reisig
    Bibliography on Petri nets 1990. [Citation Graph (0, 0)][DBLP]
    Applications and Theory of Petri Nets, 1990, pp:317-572 [Conf]
  22. Wolfgang Reisig
    The Computable Kernel of ASM. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:421-422 [Conf]
  23. Wolfgang Reisig
    Towards an ASM Thesis for Unconventional Algorithms. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:112-130 [Conf]
  24. Ekkart Kindler, Wolfgang Reisig
    Verification of Distributed Algorithms with Algebraic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Foundations of Computer Science: Potential - Theory - Cognition, 1997, pp:261-270 [Conf]
  25. Ekkart Kindler, Axel Martens, Wolfgang Reisig
    Inter-operability of Workflow Applications: Local Criteria for Global Soundness. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2000, pp:235-253 [Conf]
  26. Wolfgang Reisig
    Temporal Logic and Causality in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Concurrency, 1988, pp:121-139 [Conf]
  27. Wolfgang Reisig
    Modelling and Verification of Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:579-595 [Conf]
  28. Wolfgang Reisig
    Correctness Proofs of Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Distributed Systems, 1994, pp:164-177 [Conf]
  29. Herbert Weber, Hartmut Ehrig, Wolfgang Reisig, Alexander Borusan, Sabine Lembke, Juliane Dehnert, Michael Weber, Axel Martens, Julia Padberg, Claudia Ermel, Anilda Qemali
    The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. [Citation Graph (0, 0)][DBLP]
    Petri Net Technology for Communication-Based Systems, 2003, pp:1-21 [Conf]
  30. Jayadev Misra, Wolfgang Reisig, Michael Schoettner, Laurent Lefèvre
    Topic Introduction. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2003, pp:623- [Conf]
  31. Wolfgang Reisig
    Modeling- and Analysis Techniques for Web Services and Business Processes. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:243-258 [Conf]
  32. Wolfgang Reisig
    Teleteaching-Vorlesung "Verteilte Systeme: Formale Methoden - Anwendungen - Werkzeuge". [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 2002, pp:263-269 [Conf]
  33. Ursula Goltz, Wolfgang Reisig
    Processes of Place/Transition-Nets. [Citation Graph (0, 0)][DBLP]
    ICALP, 1983, pp:264-277 [Conf]
  34. Wolfgang Reisig
    Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness. [Citation Graph (0, 0)][DBLP]
    ICALP, 1984, pp:403-413 [Conf]
  35. Wolfgang Reisig
    Schemes for Nonsequential Processing Systems. [Citation Graph (0, 0)][DBLP]
    MFCS, 1980, pp:515-527 [Conf]
  36. Wolfgang Reisig
    Zur Verwendung von Petrinetz-Morphismen bei der System-Konstruktion. [Citation Graph (0, 0)][DBLP]
    Formale Modelle für Informationssysteme, 1979, pp:220-235 [Conf]
  37. Wolfgang Reisig, Axel Martens
    Verteilte Geschäftsprozesse und Web Services. [Citation Graph (0, 0)][DBLP]
    Modellierung, 2004, pp:275- [Conf]
  38. Wolfgang Reisig
    System Design Using Petri Nets. [Citation Graph (0, 0)][DBLP]
    Requirements Engineering, 1983, pp:29-41 [Conf]
  39. Wolfgang Reisig
    Towards a temporal logic of causality and choice in distributed systems. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:603-627 [Conf]
  40. Jörg Desel, Wolfgang Reisig
    The Synthesis Problem of Petri Nets. [Citation Graph (0, 0)][DBLP]
    STACS, 1993, pp:120-129 [Conf]
  41. Adrianna Alexander, Wolfgang Reisig
    Compositional Temporal Logic Based on Partial Order. [Citation Graph (0, 0)][DBLP]
    TIME, 2004, pp:125-132 [Conf]
  42. Wolfgang Reisig
    A Graph Grammar Representation of Non-Sequential Processes. [Citation Graph (0, 0)][DBLP]
    WG, 1980, pp:318-325 [Conf]
  43. Wolfgang Reisig
    The Linear Theory of Multiset Based Dynamic Systems. [Citation Graph (0, 0)][DBLP]
    WMP, 2000, pp:287-298 [Conf]
  44. 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]
  45. Wolfgang Reisig
    On Gurevich's theorem on sequential algorithms. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2003, v:39, n:4, pp:273-305 [Journal]
  46. Wolfgang Reisig
    Deterministic Buffer Synchronization of Sequential Processes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1982, v:18, n:, pp:117-134 [Journal]
  47. Wolfgang Reisig
    The Expressive Power of Abstract-State Machines. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 2003, v:22, n:3, pp:- [Journal]
  48. Hartmut Ehrig, Wolfgang Reisig
    An Algebraic View on Petri Nets. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1997, v:61, n:, pp:- [Journal]
  49. Wolfgang Reisig
    Concurrency is more fundamental than interleaving. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1988, v:35, n:, pp:181-184 [Journal]
  50. Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter
    Petri Net Based Verification of Distributed Algorithms: An Example. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1997, v:9, n:4, pp:409-424 [Journal]
  51. Ursula Goltz, Wolfgang Reisig
    The Non-sequential Behavior of Petri Nets [Citation Graph (0, 0)][DBLP]
    Information and Control, 1983, v:57, n:2/3, pp:125-147 [Journal]
  52. Wolfgang Reisig, Karsten Schmidt, Christian Stahl
    Kommunizierende Workflow-Services modellieren und analysieren. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 2005, v:20, n:1-2, pp:90-101 [Journal]
  53. Otthein Herzog, Wolfgang Reisig, Rüdiger Valk
    Petri-Netze: ein Abriß ihrer Grundlagen und Anwendungen. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1984, v:7, n:1, pp:20-27 [Journal]
  54. Wolfgang Reisig
    A Note on the Representation of Finite Tree Automata. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1979, v:8, n:5, pp:239-240 [Journal]
  55. Wolfgang Reisig
    Petri Nets with Individual Tokens. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1985, v:41, n:, pp:185-213 [Journal]
  56. Wolfgang Reisig
    Petri Nets and Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:80, n:1, pp:1-34 [Journal]
  57. Dirk Fahland, Wolfgang Reisig
    ASM-based Semantics for BPEL: The Negative Control Flow. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2005, pp:131-152 [Conf]
  58. Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl
    Services as a Paradigm of Computation. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:521-538 [Conf]
  59. Andreas Glausch, Wolfgang Reisig
    A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:242-256 [Conf]

  60. Simple Composition of Nets. [Citation Graph (, )][DBLP]


  61. The Scholten/Dijkstra Pebble Game Played Straightly, Distributedly, Online and Reversed. [Citation Graph (, )][DBLP]


  62. Yuri, Logic, and Computer Science. [Citation Graph (, )][DBLP]


  63. An ASM-Characterization of a Class of Distributed Algorithms. [Citation Graph (, )][DBLP]


  64. 06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures. [Citation Graph (, )][DBLP]


  65. Analysis Techniques for Service Models. [Citation Graph (, )][DBLP]


  66. Towards a Theory of Services. [Citation Graph (, )][DBLP]


  67. 50 Jahre Verhaltensmodellierung: Vom Modellieren mit Programmen zum Programmieren mit Modellen. [Citation Graph (, )][DBLP]


  68. Analyzing BPEL4Chor: Verification and Participant Synthesis. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.010secs
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