Gabriel Juhás

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 6

Top Topics

Top Venues

BPM (PhD/Demos)

ATAED@Petri Nets/ACSD

PNSE@Petri Nets

Modellierung (Workshops)

Publications

Gabriel Juhás, Milan Mladoniczky, Lubos Petrovic
Practical Experience with Petriflow: Enriched Process Models Serving as Implementation. Modellierung (Workshops) (2024)
Gabriel Juhás, Ana Juhásová, Tomás Kovácik
Deadlocks and Livelocks in Resource Constrained Workflow Nets. ATAED@Petri Nets (2022)
Gabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec
Collecting Structured Logs of Instances as Process Nets in Petriflow Language. PNSE@Petri Nets (2021)
Gabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec, Lubos Petrovic
Petriflow language and Netgrif Application Builder. BPM (PhD/Demos) (2021)
Gabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec, Lubos Petrovic
Netgrif Application Engine. BPM (PhD/Demos) (2021)
Gabriel Juhás, Robert Lorenz
Synthesis of bounded Petri Nets from Prime Event Structures with Cutting Context. ATAED@Petri Nets/ACSD (2016)
Robert Lorenz, Jörg Desel, Gabriel Juhás
Models from Scenarios. Trans. Petri Nets Other Model. Concurr. 7 (2013)
Gabriel Juhás, Igor Kazlov, Ana Juhásová
Instance Deadlock: A Mystery behind Frozen Programs. Petri Nets (2010)
Martin Riesz, Martin Seckár, Gabriel Juhás
PetriFlow: A Petri Net Based Framework for Modelling and Control of Workflow Processes. ACSD/Petri Nets Workshops (2010)
Robert Lorenz, Gabriel Juhás, Sebastian Mauser
Partial Order Semantics of Types of Nets. SOFSEM (2009)
Gabriel Juhás, Robert Lorenz, Jörg Desel
Unifying Petri Net Semantics with Token Flows. Petri Nets (2009)
Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser
Executability of scenarios in Petri nets. Theor. Comput. Sci. 410 (12-13) (2009)
Robin Bergenthum, Sebastian Mauser, Robert Lorenz, Gabriel Juhás
Unfolding Semantics of Petri Nets Based on Token Flows. Fundam. Informaticae 94 (3-4) (2009)
Gabriel Juhás, Robert Lorenz, Sebastian Mauser
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity. Fundam. Informaticae 86 (3) (2008)
Gabriel Juhás, Robert Lorenz, Sebastian Mauser
Complete Process Semantics of Petri Nets. Fundam. Informaticae 87 (3-4) (2008)
Fedor Lehocki, Gabriel Juhás, Robert Lorenz, Helena Szczerbicka, Martin Drozda
Decision Support with Logical and Fuzzy Petri Nets. Cybern. Syst. 39 (6) (2008)
Gabriel Juhás, Robert Lorenz, Sebastian Mauser
Complete Process Semantics for Inhibitor Nets. ICATPN (2007)
Robert Lorenz, Sebastian Mauser, Gabriel Juhás
How to synthesize nets from languages: a survey. WSC (2007)
Gabriel Juhás, Fedor Lehocki, Robert Lorenz
Semantics of petri nets: a comparison. WSC (2007)
Gabriel Juhás, Robert Lorenz, Sebastian Mauser
Synchronous + Concurrent + Sequential = Earlier than + Not later than. ACSD (2006)
Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz
Can I Execute My Scenario in Your Net? VipTool Tells You! ICATPN (2006)
Robert Lorenz, Gabriel Juhás
Towards Synthesis of Petri Nets from Scenarios. ICATPN (2006)
Gabriel Juhás, Robert Lorenz, Jörg Desel
Can I Execute My Scenario in Your Net?. ICATPN (2005)
Gabriel Juhás, Robert Lorenz, Christian Neumair
Synthesis of Controlled Behavior with Modules of Signal Nets. ICATPN (2004)
Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz, Christian Neumair
A Guide to Modelling and Control with Modules of Signal Nets. SoftSpez Final Report (2004)
Jörg Desel, Gabriel Juhás, Christian Neumair
Finite Unfoldings of Unbounded Petri Nets. ICATPN (2004)
Jörg Desel, Gabriel Juhás, Robert Lorenz
Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. Electron. Notes Theor. Comput. Sci. 82 (7) (2003)
Gabriel Juhás, Robert Lorenz, Christian Neumair
Modelling and Control with Modules of Signal Nets. Lectures on Concurrency and Petri Nets (2003)
Jörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair
Modelling and Validation with VipTool. Business Process Management (2003)
Gabriel Juhás, Robert Lorenz, Tomás Singliar
On Synchronicity and Concurrency in Petri Nets. ICATPN (2003)
Jörg Desel, Gabriel Juhás, Robert Lorenz
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. Electron. Notes Theor. Comput. Sci. 44 (4) (2001)
Jörg Desel, Gabriel Juhás, Robert Lorenz
Petri Nets over Partial Algebra. Unifying Petri Nets (2001)
Jörg Desel, Gabriel Juhás
''What Is a Petri Net?''. Unifying Petri Nets (2001)
Jörg Desel, Gabriel Juhás, Robert Lorenz
Process Semantics of Petri Nets over Partial Algebra. ICATPN (2000)
Gabriel Juhás
Reasoning about Algebraic Generalisation of Petri Nets. ICATPN (1999)
Gabriel Juhás
On Semantics of Petri Nets over Partial Algebra. SOFSEM (1999)
Gabriel Juhás
Petri nets with generalized algebra: a comparison. EXPRESS (1999)
Gabriel Juhás
The essence of Petri nets and transition systems through Abelian groups. Electron. Notes Theor. Comput. Sci. 18 (1998)