 | 2010 |
|---|
| 33 |       | 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 |
| 32 | | Gabriel Juhás,
Igor Kazlov,
Ana Juhásová:
Instance Deadlock: A Mystery behind Frozen Programs.
Petri Nets 2010: 1-17 |
| 2009 |
|---|
| 31 | | Gabriel Juhás,
Robert Lorenz,
Jörg Desel:
Unifying Petri Net Semantics with Token Flows.
Petri Nets 2009: 2-21 |
| 30 | | Robert Lorenz,
Gabriel Juhás,
Sebastian Mauser:
Partial Order Semantics of Types of Nets.
SOFSEM 2009: 388-400 |
| 29 | | Robin Bergenthum,
Sebastian Mauser,
Robert Lorenz,
Gabriel Juhás:
Unfolding Semantics of Petri Nets Based on Token Flows.
Fundam. Inform. 94(3-4): 331-360 (2009) |
| 28 | | 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) |
| 2008 |
|---|
| 27 | | Fedor Lehocki,
Gabriel Juhás,
Robert Lorenz,
Helena Szczerbicka,
Martin Drozda:
Decision Support with Logical and Fuzzy Petri Nets.
Cybernetics and Systems 39(6): 617-640 (2008) |
| 26 | | Gabriel Juhás,
Robert Lorenz,
Sebastian Mauser:
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity.
Fundam. Inform. 86(3): 255-298 (2008) |
| 25 | | Gabriel Juhás,
Robert Lorenz,
Sebastian Mauser:
Complete Process Semantics of Petri Nets.
Fundam. Inform. 87(3-4): 331-365 (2008) |
| 2007 |
|---|
| 24 |  | 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 |
| 23 | | Gabriel Juhás,
Robert Lorenz,
Sebastian Mauser:
Complete Process Semantics for Inhibitor Nets.
ICATPN 2007: 184-203 |
| 22 | | Gabriel Juhás,
Fedor Lehocki,
Robert Lorenz:
Semantics of petri nets: a comparison.
Winter Simulation Conference 2007: 617-628 |
| 21 | | Robert Lorenz,
Sebastian Mauser,
Gabriel Juhás:
How to synthesize nets from languages: a survey.
Winter Simulation Conference 2007: 637-647 |
| 2006 |
|---|
| 20 | | Gabriel Juhás,
Robert Lorenz,
Sebastian Mauser:
Synchronous + Concurrent + Sequential = Earlier than + Not later than.
ACSD 2006: 261-272 |
| 19 | | Robert Lorenz,
Gabriel Juhás:
Towards Synthesis of Petri Nets from Scenarios.
ICATPN 2006: 302-321 |
| 18 | | 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 |
|---|
| 17 | | Gabriel Juhás,
Robert Lorenz,
Jörg Desel:
Can I Execute My Scenario in Your Net?.
ICATPN 2005: 289-308 |
| 2004 |
|---|
| 16 | | Jörg Desel,
Gabriel Juhás,
Christian Neumair:
Finite Unfoldings of Unbounded Petri Nets.
ICATPN 2004: 157-176 |
| 15 | | Gabriel Juhás,
Robert Lorenz,
Christian Neumair:
Synthesis of Controlled Behavior with Modules of Signal Nets.
ICATPN 2004: 238-257 |
| 14 | | 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 |
|---|
| 13 | | Jörg Desel,
Gabriel Juhás,
Robert Lorenz,
Christian Neumair:
Modelling and Validation with VipTool.
Business Process Management 2003: 380-389 |
| 12 | | Gabriel Juhás,
Robert Lorenz,
Tomás Singliar:
On Synchronicity and Concurrency in Petri Nets.
ICATPN 2003: 357-376 |
| 11 | | Gabriel Juhás,
Robert Lorenz,
Christian Neumair:
Modelling and Control with Modules of Signal Nets.
Lectures on Concurrency and Petri Nets 2003: 585-625 |
| 10 | | Jörg Desel,
Gabriel Juhás,
Robert Lorenz:
Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders.
Electr. Notes Theor. Comput. Sci. 82(7): 46-62 (2003) |
| 2001 |
|---|
| 9 | | Hartmut Ehrig,
Gabriel Juhás,
Julia Padberg,
Grzegorz Rozenberg:
Unifying Petri Nets, Advances in Petri Nets
Springer 2001 |
| 8 | | Jörg Desel,
Gabriel Juhás:
''What Is a Petri Net?''.
Unifying Petri Nets 2001: 1-25 |
| 7 | | Jörg Desel,
Gabriel Juhás,
Robert Lorenz:
Petri Nets over Partial Algebra.
Unifying Petri Nets 2001: 126-172 |
| 6 | | Jörg Desel,
Gabriel Juhás,
Robert Lorenz:
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra.
Electr. Notes Theor. Comput. Sci. 44(4): 163-187 (2001) |
| 2000 |
|---|
| 5 | | Jörg Desel,
Gabriel Juhás,
Robert Lorenz:
Process Semantics of Petri Nets over Partial Algebra.
ICATPN 2000: 146-165 |
| 1999 |
|---|
| 4 | | Gabriel Juhás:
Reasoning about Algebraic Generalisation of Petri Nets.
ICATPN 1999: 324-343 |
| 3 | | Gabriel Juhás:
On Semantics of Petri Nets over Partial Algebra.
SOFSEM 1999: 414-421 |
| 2 | | Gabriel Juhás:
Petri nets with generalized algebra: a comparison.
Electr. Notes Theor. Comput. Sci. 27: 42-56 (1999) |
| 1998 |
|---|
| 1 | | Gabriel Juhás:
The essence of Petri nets and transition systems through Abelian groups.
Electr. Notes Theor. Comput. Sci. 18: 90-111 (1998) |
Data released under the ODC-BY 1.0 license — See also our legal information page