default search action

combined dblp search
author search
venue search
publication search

ask others

Gabriel Juhás

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/modellierung/JuhasMP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modellierung/JuhasMP24
Gabriel Juhás, Milan Mladoniczky, Lubos Petrovic:
Practical Experience with Petriflow: Enriched Process Models Serving as Implementation. Modellierung (Workshops) 2024: 24
2022
[c31]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/JuhasJK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JuhasJK22
Gabriel Juhás, Ana Juhásová, Tomás Kovácik:
Deadlocks and Livelocks in Resource Constrained Workflow Nets. ATAED@Petri Nets 2022: 76-100
2021
[c30]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/JuhasKKK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JuhasKKK21
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: 105-122
[c29]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/bpm/JuhasKKKP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/JuhasKKKP21
Gabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec, Lubos Petrovic:
Netgrif Application Engine. BPM (PhD/Demos) 2021: 166-170
[c28]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/bpm/JuhasKKKP21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/JuhasKKKP21a
Gabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec, Lubos Petrovic:
Petriflow language and Netgrif Application Builder. BPM (PhD/Demos) 2021: 171-175

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2016
[c27]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/Juhas016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Juhas016
Gabriel Juhás, Robert Lorenz:
Synthesis of bounded Petri Nets from Prime Event Structures with Cutting Context. ATAED@Petri Nets/ACSD 2016: 58-77
2013
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/0001DJ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/0001DJ13
Robert Lorenz, Jörg Desel, Gabriel Juhás:
Models from Scenarios. Trans. Petri Nets Other Model. Concurr. 7: 314-371 (2013)
2010
[c26]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/acsd/RieszSJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/RieszSJ10
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: 191-205
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JuhasKJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JuhasKJ10
Gabriel Juhás, Igor Kazlov, Ana Juhásová:
Instance Deadlock: A Mystery behind Frozen Programs. Petri Nets 2010: 1-17

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BergenthumMLJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BergenthumMLJ09
Robin Bergenthum, Sebastian Mauser, Robert Lorenz, Gabriel Juhás:
Unfolding Semantics of Petri Nets Based on Token Flows. Fundam. Informaticae 94(3-4): 331-360 (2009)
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LorenzJBDM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LorenzJBDM09
Robert Lorenz, Gabriel Juhás, Robin Bergenthum, Jörg Desel, Sebastian Mauser:
Executability of scenarios in Petri nets. Theor. Comput. Sci. 410(12-13): 1190-1216 (2009)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JuhasLD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JuhasLD09
Gabriel Juhás, Robert Lorenz, Jörg Desel:
Unifying Petri Net Semantics with Token Flows. Petri Nets 2009: 2-21
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/LorenzJM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/LorenzJM09
Robert Lorenz, Gabriel Juhás, Sebastian Mauser:
Partial Order Semantics of Types of Nets. SOFSEM 2009: 388-400
2008
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/cas/LehockiJLSD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cas/LehockiJLSD08
Fedor Lehocki, Gabriel Juhás, Robert Lorenz, Helena Szczerbicka, Martin Drozda:
Decision Support with Logical and Fuzzy Petri Nets. Cybern. Syst. 39(6): 617-640 (2008)
[j2]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/fuin/JuhasLM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/JuhasLM08
Gabriel Juhás, Robert Lorenz, Sebastian Mauser:
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity. Fundam. Informaticae 86(3): 255-298 (2008)
[j1]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/fuin/JuhasLM08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/JuhasLM08a
Gabriel Juhás, Robert Lorenz, Sebastian Mauser:
Complete Process Semantics of Petri Nets. Fundam. Informaticae 87(3-4): 331-365 (2008)
2007
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JuhasLM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JuhasLM07
Gabriel Juhás, Robert Lorenz, Sebastian Mauser:
Complete Process Semantics for Inhibitor Nets. ICATPN 2007: 184-203
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/JuhasLL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/JuhasLL07
Gabriel Juhás, Fedor Lehocki, Robert Lorenz:
Semantics of petri nets: a comparison. WSC 2007: 617-628
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/wsc/LorenzMJ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsc/LorenzMJ07
Robert Lorenz, Sebastian Mauser, Gabriel Juhás:
How to synthesize nets from languages: a survey. WSC 2007: 637-647
[e2]
- view
- export record
  dblp key:
  - conf/acsd/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/2007
Twan Basten, Gabriel Juhás, Sandeep K. Shukla:
Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic. IEEE Computer Society 2007, ISBN 978-0-7695-2902-8 [contents]
2006
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/JuhasLM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/JuhasLM06
Gabriel Juhás, Robert Lorenz, Sebastian Mauser:
Synchronous + Concurrent + Sequential = Earlier than + Not later than. ACSD 2006: 261-272
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/LorenzJ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LorenzJ06
Robert Lorenz, Gabriel Juhás:
Towards Synthesis of Petri Nets from Scenarios. ICATPN 2006: 302-321
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BergenthumDJL06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BergenthumDJL06
Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz:
Can I Execute My Scenario in Your Net? VipTool Tells You! ICATPN 2006: 381-390
2005
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JuhasLD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JuhasLD05
Gabriel Juhás, Robert Lorenz, Jörg Desel:
Can I Execute My Scenario in Your Net?. ICATPN 2005: 289-308
2004
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/DeselJN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DeselJN04
Jörg Desel, Gabriel Juhás, Christian Neumair:
Finite Unfoldings of Unbounded Petri Nets. ICATPN 2004: 157-176
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JuhasLN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JuhasLN04
Gabriel Juhás, Robert Lorenz, Christian Neumair:
Synthesis of Controlled Behavior with Modules of Signal Nets. ICATPN 2004: 238-257
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/dfg/DeselHJLN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dfg/DeselHJLN04
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: 270-300
2003
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/JuhasLN03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/JuhasLN03
Gabriel Juhás, Robert Lorenz, Christian Neumair:
Modelling and Control with Modules of Signal Nets. Lectures on Concurrency and Petri Nets 2003: 585-625
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/JuhasLS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/JuhasLS03
Gabriel Juhás, Robert Lorenz, Tomás Singliar:
On Synchronicity and Concurrency in Petri Nets. ICATPN 2003: 357-376
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/DeselJLN03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/DeselJLN03
Jörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair:
Modelling and Validation with VipTool. Business Process Management 2003: 380-389
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DeselJL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DeselJL03
Jörg Desel, Gabriel Juhás, Robert Lorenz:
Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. UNIGRA 2003: 46-62
2001
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/DeselJ01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DeselJ01
Jörg Desel, Gabriel Juhás:
''What Is a Petri Net?''. Unifying Petri Nets 2001: 1-25
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/DeselJL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DeselJL01
Jörg Desel, Gabriel Juhás, Robert Lorenz:
Petri Nets over Partial Algebra. Unifying Petri Nets 2001: 126-172
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/DeselJL01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/DeselJL01
Jörg Desel, Gabriel Juhás, Robert Lorenz:
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. UNIGRA 2001: 163-187
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/2001u
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2001u
Hartmut Ehrig, Gabriel Juhás, Julia Padberg, Grzegorz Rozenberg:
Unifying Petri Nets, Advances in Petri Nets. Lecture Notes in Computer Science 2128, Springer 2001, ISBN 3-540-43067-9 [contents]
2000
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/DeselJL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DeselJL00
Jörg Desel, Gabriel Juhás, Robert Lorenz:
Process Semantics of Petri Nets over Partial Algebra. ICATPN 2000: 146-165

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Juhas99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Juhas99
Gabriel Juhás:
Reasoning about Algebraic Generalisation of Petri Nets. ICATPN 1999: 324-343
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/Juhas99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/Juhas99
Gabriel Juhás:
On Semantics of Petri Nets over Partial Algebra. SOFSEM 1999: 414-421
[c2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Juhas99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Juhas99
Gabriel Juhás:
Petri nets with generalized algebra: a comparison. EXPRESS 1999: 42-56
1998
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Juhas98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Juhas98
Gabriel Juhás:
The essence of Petri nets and transition systems through Abelian groups. MFCS Workshop on Concurrency 1998: 90-111

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.