The essence of Petri nets and transition systems through Abelian groups. - Gabriel Juhás (MFCS Workshop on Concurrency, 1998)

Reasoning about Algebraic Generalisation of Petri Nets. - Gabriel Juhás (ICATPN, 1999)

On Semantics of Petri Nets over Partial Algebra. - Gabriel Juhás (SOFSEM, 1999)

Petri nets with generalized algebra: a comparison. - Gabriel Juhás (EXPRESS, 1999)

Process Semantics of Petri Nets over Partial Algebra. - Jörg Desel; Gabriel Juhás; Robert Lorenz 001 (ICATPN, 2000)

''What Is a Petri Net?''. - Jörg Desel; Gabriel Juhás (Unifying Petri Nets, 2001)

Petri Nets over Partial Algebra. - Jörg Desel; Gabriel Juhás; Robert Lorenz 001 (Unifying Petri Nets, 2001)

Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. - Jörg Desel; Gabriel Juhás; Robert Lorenz 001 (UNIGRA, 2001)

Modelling and Control with Modules of Signal Nets. - Gabriel Juhás; Robert Lorenz 001; Christian Neumair (Lectures on Concurrency and Petri Nets, 2003)

On Synchronicity and Concurrency in Petri Nets. - Gabriel Juhás; Robert Lorenz 001; Tomás Singliar (ICATPN, 2003)

Modelling and Validation with VipTool. - Jörg Desel; Gabriel Juhás; Robert Lorenz 001; Christian Neumair (Business Process Management, 2003)

Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. - Jörg Desel; Gabriel Juhás; Robert Lorenz 001 (UNIGRA, 2003)

Finite Unfoldings of Unbounded Petri Nets. - Jörg Desel; Gabriel Juhás; Christian Neumair (ICATPN, 2004)

Synthesis of Controlled Behavior with Modules of Signal Nets. - Gabriel Juhás; Robert Lorenz 001; Christian Neumair (ICATPN, 2004)

A Guide to Modelling and Control with Modules of Signal Nets. - Jörg Desel; Hans-Michael Hanisch; Gabriel Juhás; Robert Lorenz 001; Christian Neumair (SoftSpez Final Report, 2004)

Can I Execute My Scenario in Your Net?. - Gabriel Juhás; Robert Lorenz 001; Jörg Desel (ICATPN, 2005)

Synchronous + Concurrent + Sequential = Earlier than + Not later than. - Gabriel Juhás; Robert Lorenz 001; Sebastian Mauser (ACSD, 2006)

Can I Execute My Scenario in Your Net? VipTool Tells You! - Robin Bergenthum; Jörg Desel; Gabriel Juhás; Robert Lorenz 001 (ICATPN, 2006)

Towards Synthesis of Petri Nets from Scenarios. - Robert Lorenz 001; Gabriel Juhás (ICATPN, 2006)

Complete Process Semantics for Inhibitor Nets. - Gabriel Juhás; Robert Lorenz 001; Sebastian Mauser (ICATPN, 2007)

Semantics of petri nets: a comparison. - Gabriel Juhás; Fedor Lehocki; Robert Lorenz 001 (WSC, 2007)

How to synthesize nets from languages: a survey. - Robert Lorenz 001; Sebastian Mauser; Gabriel Juhás (WSC, 2007)

Decision Support with Logical and Fuzzy Petri Nets. - Fedor Lehocki; Gabriel Juhás; Robert Lorenz 001; Helena Szczerbicka; Martin Drozda (Cybern. Syst., 2008)

Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity. - Gabriel Juhás; Robert Lorenz 001; Sebastian Mauser (Fundam. Informaticae, 2008)

Complete Process Semantics of Petri Nets. - Gabriel Juhás; Robert Lorenz 001; Sebastian Mauser (Fundam. Informaticae, 2008)

Unifying Petri Net Semantics with Token Flows. - Gabriel Juhás; Robert Lorenz 001; Jörg Desel (Petri Nets, 2009)

Partial Order Semantics of Types of Nets. - Robert Lorenz 001; Gabriel Juhás; Sebastian Mauser (SOFSEM, 2009)

Unfolding Semantics of Petri Nets Based on Token Flows. - Robin Bergenthum; Sebastian Mauser; Robert Lorenz 001; Gabriel Juhás (Fundam. Informaticae, 2009)

Executability of scenarios in Petri nets. - Robert Lorenz 001; Gabriel Juhás; Robin Bergenthum; Jörg Desel; Sebastian Mauser (Theor. Comput. Sci., 2009)

PetriFlow: A Petri Net Based Framework for Modelling and Control of Workflow Processes. - Martin Riesz; Martin Seckár; Gabriel Juhás (ACSD/Petri Nets Workshops, 2010)

Instance Deadlock: A Mystery behind Frozen Programs. - Gabriel Juhás; Igor Kazlov; Ana Juhásová (Petri Nets, 2010)

Models from Scenarios. - Robert Lorenz 001; Jörg Desel; Gabriel Juhás (Trans. Petri Nets Other Model. Concurr., 2013)

Synthesis of bounded Petri Nets from Prime Event Structures with Cutting Context. - Gabriel Juhás; Robert Lorenz 001 (ATAED@Petri Nets/ACSD, 2016)

Collecting Structured Logs of Instances as Process Nets in Petriflow Language. - Gabriel Juhás; Tomás Kovácik; Jakub Kovár; Martin Kranec (PNSE@Petri Nets, 2021)

Netgrif Application Engine. - Gabriel Juhás; Tomás Kovácik; Jakub Kovár; Martin Kranec; Lubos Petrovic (BPM (PhD/Demos), 2021)

Petriflow language and Netgrif Application Builder. - Gabriel Juhás; Tomás Kovácik; Jakub Kovár; Martin Kranec; Lubos Petrovic (BPM (PhD/Demos), 2021)

Deadlocks and Livelocks in Resource Constrained Workflow Nets. - Gabriel Juhás; Ana Juhásová; Tomás Kovácik (ATAED@Petri Nets, 2022)

Practical Experience with Petriflow: Enriched Process Models Serving as Implementation. - Gabriel Juhás; Milan Mladoniczky; Lubos Petrovic (Modellierung (Workshops), 2024)