![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Gabriel Juhás
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c32]Gabriel Juhás, Milan Mladoniczky, Lubos Petrovic:
Practical Experience with Petriflow: Enriched Process Models Serving as Implementation. Modellierung (Workshops) 2024: 24 - 2022
- [c31]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]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]Gabriel Juhás, Tomás Kovácik, Jakub Kovár, Martin Kranec, Lubos Petrovic:
Netgrif Application Engine. BPM (PhD/Demos) 2021: 166-170 - [c28]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
- 2016
- [c27]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]Robert Lorenz, Jörg Desel, Gabriel Juhás
:
Models from Scenarios. Trans. Petri Nets Other Model. Concurr. 7: 314-371 (2013) - 2010
- [c26]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]Gabriel Juhás
, Igor Kazlov, Ana Juhásová:
Instance Deadlock: A Mystery behind Frozen Programs. Petri Nets 2010: 1-17
2000 – 2009
- 2009
- [j5]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]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]Gabriel Juhás
, Robert Lorenz, Jörg Desel:
Unifying Petri Net Semantics with Token Flows. Petri Nets 2009: 2-21 - [c23]Robert Lorenz, Gabriel Juhás
, Sebastian Mauser:
Partial Order Semantics of Types of Nets. SOFSEM 2009: 388-400 - 2008
- [j3]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]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]Gabriel Juhás, Robert Lorenz, Sebastian Mauser:
Complete Process Semantics of Petri Nets. Fundam. Informaticae 87(3-4): 331-365 (2008) - 2007
- [c22]Gabriel Juhás
, Robert Lorenz, Sebastian Mauser:
Complete Process Semantics for Inhibitor Nets. ICATPN 2007: 184-203 - [c21]Gabriel Juhás
, Fedor Lehocki
, Robert Lorenz:
Semantics of petri nets: a comparison. WSC 2007: 617-628 - [c20]Robert Lorenz, Sebastian Mauser, Gabriel Juhás
:
How to synthesize nets from languages: a survey. WSC 2007: 637-647 - [e2]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]Gabriel Juhás
, Robert Lorenz, Sebastian Mauser:
Synchronous + Concurrent + Sequential = Earlier than + Not later than. ACSD 2006: 261-272 - [c18]Robert Lorenz, Gabriel Juhás
:
Towards Synthesis of Petri Nets from Scenarios. ICATPN 2006: 302-321 - [c17]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]Gabriel Juhás, Robert Lorenz, Jörg Desel:
Can I Execute My Scenario in Your Net?. ICATPN 2005: 289-308 - 2004
- [c15]Jörg Desel, Gabriel Juhás, Christian Neumair:
Finite Unfoldings of Unbounded Petri Nets. ICATPN 2004: 157-176 - [c14]Gabriel Juhás, Robert Lorenz, Christian Neumair:
Synthesis of Controlled Behavior with Modules of Signal Nets. ICATPN 2004: 238-257 - [c13]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]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]Gabriel Juhás, Robert Lorenz, Tomás Singliar:
On Synchronicity and Concurrency in Petri Nets. ICATPN 2003: 357-376 - [c10]Jörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair:
Modelling and Validation with VipTool. Business Process Management 2003: 380-389 - [c9]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]Jörg Desel, Gabriel Juhás:
''What Is a Petri Net?''. Unifying Petri Nets 2001: 1-25 - [c7]Jörg Desel, Gabriel Juhás, Robert Lorenz:
Petri Nets over Partial Algebra. Unifying Petri Nets 2001: 126-172 - [c6]Jörg Desel, Gabriel Juhás
, Robert Lorenz:
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. UNIGRA 2001: 163-187 - [e1]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]Jörg Desel, Gabriel Juhás
, Robert Lorenz:
Process Semantics of Petri Nets over Partial Algebra. ICATPN 2000: 146-165
1990 – 1999
- 1999
- [c4]Gabriel Juhás
:
Reasoning about Algebraic Generalisation of Petri Nets. ICATPN 1999: 324-343 - [c3]Gabriel Juhás
:
On Semantics of Petri Nets over Partial Algebra. SOFSEM 1999: 414-421 - [c2]Gabriel Juhás
:
Petri nets with generalized algebra: a comparison. EXPRESS 1999: 42-56 - 1998
- [c1]Gabriel Juhás
:
The essence of Petri nets and transition systems through Abelian groups. MFCS Workshop on Concurrency 1998: 90-111
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-27 21:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint