Gabriel Juhás

Orcid: 0000-0001-8302-5112

According to our database1, Gabriel Juhás authored at least 38 papers between 1998 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Practical Experience with Petriflow: Enriched Process Models Serving as Implementation.
Proceedings of the Modellierung 2024 - Workshop Proceedings, Potsdam, Germany, 2024

2022
Deadlocks and Livelocks in Resource Constrained Workflow Nets.
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.
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.
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.
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.
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.
Trans. Petri Nets Other Model. Concurr., 2013

2010
Instance Deadlock: A Mystery behind Frozen Programs.
Proceedings of the Applications and Theory of Petri Nets, 2010

PetriFlow: A Petri Net Based Framework for Modelling and Control of Workflow Processes.
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.
Theor. Comput. Sci., 2009

Unfolding Semantics of Petri Nets Based on Token Flows.
Fundam. Informaticae, 2009

Partial Order Semantics of Types of Nets.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

Unifying Petri Net Semantics with Token Flows.
Proceedings of the Applications and Theory of Petri Nets, 2009

2008
Complete Process Semantics of Petri Nets.
Fundam. Informaticae, 2008

Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity.
Fundam. Informaticae, 2008

Decision Support with Logical and Fuzzy Petri Nets.
Cybern. Syst., 2008

2007
How to synthesize nets from languages: a survey.
Proceedings of the Winter Simulation Conference, 2007

Semantics of petri nets: a comparison.
Proceedings of the Winter Simulation Conference, 2007

Complete Process Semantics for Inhibitor Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2007

2006
Towards Synthesis of Petri Nets from Scenarios.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

Can I Execute My Scenario in Your Net? VipTool Tells You!
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

Synchronous + Concurrent + Sequential = Earlier than + Not later than.
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?.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004
A Guide to Modelling and Control with Modules of Signal Nets.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Synthesis of Controlled Behavior with Modules of Signal Nets.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004

Finite Unfoldings of Unbounded Petri Nets.
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.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2003

Modelling and Validation with VipTool.
Proceedings of the Business Process Management, International Conference, 2003

On Synchronicity and Concurrency in Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

Modelling and Control with Modules of Signal Nets.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2001
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra.
Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

Petri Nets over Partial Algebra.
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

''What Is a Petri Net?''.
Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

2000
Process Semantics of Petri Nets over Partial Algebra.
Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999
Petri nets with generalized algebra: a comparison.
Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 1999

On Semantics of Petri Nets over Partial Algebra.
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.
Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998
The essence of Petri nets and transition systems through Abelian groups.
Proceedings of the MFCS '98 Workshop on Concurrency, 1998


  Loading...