Blättern nach Zeitschriften

2009

• Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
  Synthesis of Petri nets from term based representations of infinite partial languages.
  In: Fundamenta informaticae. 95 (2009) 1. - S. 187-217.
  ISSN 0169-2968
  (Peer-Review-Journal)

2008

• Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
  Causal semantics of algebraic Petri Nets distinguishing concurrency and synchronicity.
  In: Fundamenta informaticae. 86 (2008) 3. - S. 255-298.
  (Peer-Review-Journal)
• Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
  Complete process semantics of Petri Nets.
  In: Fundamenta informaticae. 87 (2008) 3/4. - S. 331-365.
  ISSN 0169-2968
  (Peer-Review-Journal)
• Liu, Cong ; Kondratyev, Alex ; Watanabe, Yosinori ; Desel, Jörg ; Sangiovanni-Vincentelli, Alberto:
  Schedulability analysis of Petri nets based on structural properties.
  In: Fundamenta informaticae. 86 (2008) 3. - S. 325-341.
  ISSN 0169-2968
  (Peer-Review-Journal)
• Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian:
  Synthesis of Petri nets from finite partial languages.
  In: Fundamenta informaticae. 88 (2008) 4. - S. 437-468.
  ISSN 0169-2968
  (Peer-Review-Journal)