Gabriel Juhás

According to our database, Gabriel Juhás authored at least 37 papers between 1998 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Deadlocks and Livelocks in Resource Constrained Workflow Nets.

Gabriel Juhás, Ana Juhásová, Tomás Kovácik

Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), 2022

2021

Petriflow language and Netgrif Application Builder.

Gabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec, Lubos Petrovic

Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2021 co-located with 19th International Conference on Business Process Management (BPM 2021), Rome, Italy, September 6th - to, 2021

Netgrif Application Engine.

Gabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec, Lubos Petrovic

Proceedings of the Best Dissertation Award, Doctoral Consortium, and Demonstration & Resources Track at BPM 2021 co-located with 19th International Conference on Business Process Management (BPM 2021), Rome, Italy, September 6th - to, 2021

Collecting Structured Logs of Instances as Process Nets in Petriflow Language.

Gabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec

Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021

2016

Synthesis of bounded Petri Nets from Prime Event Structures with Cutting Context.

Gabriel Juhás, Robert Lorenz

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, 2016

2013

Models from Scenarios.

Robert Lorenz, Jörg Desel, Gabriel Juhás

Trans. Petri Nets Other Model. Concurr., 2013

2010

Instance Deadlock: A Mystery behind Frozen Programs.

Gabriel Juhás, Igor Kazlov, Ana Juhásová

Proceedings of the Applications and Theory of Petri Nets, 2010

PetriFlow: A Petri Net Based Framework for Modelling and Control of Workflow Processes.

Martin Riesz, Martin Seckár, Gabriel Juhás

Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

2009

Executability of scenarios in Petri nets.

Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser

Theor. Comput. Sci., 2009

Unfolding Semantics of Petri Nets Based on Token Flows.

Robin Bergenthum, Sebastian Mauser, Robert Lorenz, Gabriel Juhás

Fundam. Informaticae, 2009

Partial Order Semantics of Types of Nets.

Robert Lorenz, Gabriel Juhás, Sebastian Mauser

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Unifying Petri Net Semantics with Token Flows.

Gabriel Juhás, Robert Lorenz, Jörg Desel

Proceedings of the Applications and Theory of Petri Nets, 2009

2008

Complete Process Semantics of Petri Nets.

Gabriel Juhás, Robert Lorenz, Sebastian Mauser

Fundam. Informaticae, 2008

Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity.

Gabriel Juhás, Robert Lorenz, Sebastian Mauser

Fundam. Informaticae, 2008

Decision Support with Logical and Fuzzy Petri Nets.

Fedor Lehocki, Gabriel Juhás, Robert Lorenz, Helena Szczerbicka, Martin Drozda

Cybern. Syst., 2008

2007

How to synthesize nets from languages: a survey.

Robert Lorenz, Sebastian Mauser, Gabriel Juhás

Proceedings of the Winter Simulation Conference, 2007

Semantics of petri nets: a comparison.

Gabriel Juhás, Fedor Lehocki, Robert Lorenz

Proceedings of the Winter Simulation Conference, 2007

Complete Process Semantics for Inhibitor Nets.

Gabriel Juhás, Robert Lorenz, Sebastian Mauser

Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006

Towards Synthesis of Petri Nets from Scenarios.

Robert Lorenz, Gabriel Juhás

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

Can I Execute My Scenario in Your Net? VipTool Tells You!

Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

Synchronous + Concurrent + Sequential = Earlier than + Not later than.

Gabriel Juhás, Robert Lorenz, Sebastian Mauser

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

Can I Execute My Scenario in Your Net?.

Gabriel Juhás, Robert Lorenz, Jörg Desel

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004

A Guide to Modelling and Control with Modules of Signal Nets.

Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz, Christian Neumair

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Synthesis of Controlled Behavior with Modules of Signal Nets.

Gabriel Juhás, Robert Lorenz, Christian Neumair

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

Finite Unfoldings of Unbounded Petri Nets.

Jörg Desel, Gabriel Juhás, Christian Neumair

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders.

Jörg Desel, Gabriel Juhás, Robert Lorenz

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003

Modelling and Validation with VipTool.

Jörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair

Proceedings of the Business Process Management, International Conference, 2003

On Synchronicity and Concurrency in Petri Nets.

Gabriel Juhás, Robert Lorenz, Tomás Singliar

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

Modelling and Control with Modules of Signal Nets.

Gabriel Juhás, Robert Lorenz, Christian Neumair

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2001

Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra.

Jörg Desel, Gabriel Juhás, Robert Lorenz

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

Petri Nets over Partial Algebra.

Jörg Desel, Gabriel Juhás, Robert Lorenz

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

''What Is a Petri Net?''.

Jörg Desel, Gabriel Juhás

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

2000

Process Semantics of Petri Nets over Partial Algebra.

Jörg Desel, Gabriel Juhás, Robert Lorenz

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999

Petri nets with generalized algebra: a comparison.

Gabriel Juhás

Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 1999

On Semantics of Petri Nets over Partial Algebra.

Gabriel Juhás

Proceedings of the SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27, 1999

Reasoning about Algebraic Generalisation of Petri Nets.

Gabriel Juhás

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998

The essence of Petri nets and transition systems through Abelian groups.

Gabriel Juhás

Proceedings of the MFCS '98 Workshop on Concurrency, 1998