Gabriel Juhás

40 papers A 1B 4Misc 2Journal 6Unranked 25

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