Veröffentlichungen "Juhás, Gabriel"

2009

• Lorenz, Robert ; Juhás, Gabriel ; Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian:
  Executability of scenarios in Petri Nets.
  In: Theoretical computer science : the journal of the EATCS. 410 (2009) 12/13. - S. 1190-1216.
  ISSN 0304-3975
  (Peer-Review-Journal)
• Juhás, Gabriel ; Desel, Jörg ; Lorenz, Robert:
  Unifying Petri Net semantics with token flows.
  In: Applications and theory of Petri nets : 30th international conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 ; proceedings. - Heidelberg : Springer, 2009. - (Lecture notes in computer science ; 5606)
  ISBN 3-642-02423-8 ; 978-3-642-02423-8
• Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
  Partial order semantics of types of nets.
  In: Nielsen, Mogens ; Hutchison, David ; Kanade, Takeo ; Kittler, Josef ; Kleinberg, Jon M. ; Kučera, Antonín ; Mattern, Friedemann ; Miltersen, Peter Bro ; Mitchell, John C. ; Naor, Moni (Hrsg.): SOFSEM 2009 : theory and practice of Computer Science ; 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009 ; Proceedings. - Heidelberg : Springer, 2009. - S. 388-400. - (Lecture notes in computer science ; 5404)
  ISBN 978-3-540-95891-8

2008

• Lehocki, Fedor ; Juhás, Gabriel ; Lorenz, Robert ; Szczerbicka, Helena ; Drozda, Martin:
  Decision Support with Logical and Fuzzy Petri Nets.
  In: Cybernetics and systems. 39 (2008) 6. - S. 617-640.
  ISSN 1087-6553 ; 0196-9722
  (Peer-Review-Journal)
• 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)

2007

• Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
  Complete Process Semantics for Inhibitor Nets.
  In: Petri nets and other models of concurrency - ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25 - 29, 2007 ; proceedings / Jetty Kleijn; Alex Yakovlev (eds.). - Berlin u.a. : Springer, 2007. - S. 342-361. - (Lecture notes in computer science ; 4546)
  ISBN 978-3-540-73093-4
• Juhás, Gabriel ; Lehocki, Fedor ; Lorenz, Robert:
  Semantics of Petri nets: a comparison.
  In: WSC '07 : proceedings of the 39th Conference on Winter Simulation 2007 ; Washington, D.C., December 09 - 12, 2007 ; 40 years! ; the best is yet to come. - New York, NY : IEEE Computer Society, 2007. - S. 617-628
  ISBN 1-4244-1306-0
• Lorenz, Robert ; Juhás, Gabriel ; Mauser, Sebastian:
  How to Synthesize Nets from Languages : a Survey.
  In: WSC '07 : proceedings of the 39th Conference on Winter Simulation 2007 ; Washington, D.C., December 09 - 12, 2007 ; 40 years! ; the best is yet to come. - New York, NY : IEEE Computer Society, 2007. - S. 637-647
  ISBN 1-4244-1306-0

2006

• Lorenz, Robert ; Juhás, Gabriel:
  Towards Synthesis of Petri Nets from Scenarios.
  In: Petri Nets and other models of concurrency - ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 ; proceedings. - Berlin u.a. : Springer, 2006. - S. 302-321. - (Lecture notes in computer science ; 4024)
  ISBN 978-3-540-34699-9
• Lorenz, Robert ; Bergenthum, Robin ; Desel, Jörg ; Juhás, Gabriel:
  Can I execute my Scenario in your Net? VipTool tells you!
  In: Petri Nets and other models of concurrency - ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 ; proceedings / Susanna Donatelli; P. S. Thiagarajan (eds.). - Berlin u.a. : Springer, 2006. - S. 381-390. - (Lecture notes in computer science ; 4024)
  ISBN 978-3-540-34699-9
• Juhás, Gabriel ; Lorenz, Robert ; Mauser, Sebastian:
  Synchronous + Concurrent + Sequential = Earlier than + Not later than.
  In: Proceedings / Sixth International Conference on Application of Concurrency to System Design (ACSD 2006) : 28 - 30 June 2006, Turku, Finland / ed. by Kees Goossens ... - Los Alamitos, Calif. : IEEE Computer Society, 2006. - S. 261-270
  ISBN 978-0-7695-2556-3

2005

• Juhás, Gabriel:
  Are these events independent? It depends!
  2005
  (Habilitation, 2005, Katholische Universität Eichstätt-Ingolstadt)
• Juhás, Gabriel ; Lorenz, Robert ; Desel, Jörg:
  Can I execute your scenario in my net?
  In: Applications and theory of Petri Nets 2005 : 26th international conference, ICATPN 2005, Miami, USA, June 20 - 25, 2005 ; proceedings / Gianfranco Ciardo ... (eds.). - Berlin u.a. : Springer, 2005. - S. 289-308. - (Lecture notes in computer science ; 3536)
  ISBN 3-540-26301-2