Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Gabriel Juhás
Observed names:
G. JUHÁS,
G. Juhas,
Gabriel Juhas,
Juhas Gabriel,
Juhás, Gabriel
Institution:
Pan-European University
Observed institutions:
Slovak University of Technology in Bratislava,
Catholic University of Eichstätt-Ingolstadt,
Slovak Academy of Sciences,
Pan-European University,
Technische Universität Berlin
ORCID:
0000-0001-8302-5112
Observed ORCID:
0000-0001-8302-5112
OpenAlex ID:
A5068217644
“What Is a Petri Net?” Informal Answers for the Informed Reader
2001
·
Jörg Desel
, Gabriel Juhás
·
Lecture notes in computer science
·
111
How to synthesize nets from languages - a survey
2007
·
Robert Lorenz
, Sebastian Mauser
, et al.
·
Winter Simulation Conference
·
52
Can I Execute My Scenario in Your Net?
2005
·
Gabriel Juhás
, Robert Lorenz
, et al.
·
Lecture notes in computer science
·
34
Modelling and Validation with VipTool
2003
·
Jörg Desel
, Gabriel Juhás
, et al.
·
Lecture notes in computer science
·
34
Unifying Petri Nets: Advances in Petri Nets
2002
·
Hartmut Ehrig
, Gabriel Juhás
, et al.
·
26
Low-code platforms and languages: the future of software development
2022
·
Gabriel Juhas
, Ludovit Molnar
, et al.
·
International Conference on Emerging eLearning Technologies and Applications (ICETA)
·
23
Towards Synthesis of Petri Nets from Scenarios
2006
·
Robert Lorenz
, Gabriel Juhás
·
Lecture notes in computer science
·
23
Finite Unfoldings of Unbounded Petri Nets
2004
·
Jörg Desel
, Gabriel Juhás
, et al.
·
Lecture notes in computer science
·
20
Process Semantics of Petri Nets over Partial Algebra
2000
·
Jörg Desel
, Gabriel Juhás
, et al.
·
Lecture notes in computer science
·
18
Instance Deadlock: A Mystery behind Frozen Programs
2010
·
Gabriel Juhás
, Igor Kazlov
, et al.
·
Lecture notes in computer science
·
15
Models from Scenarios
2013
·
Robert Lorenz
, Jörg Desel
, et al.
·
Lecture notes in computer science
·
14
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
2008
·
Gabriel Juhás
, Robert Lorenz
, et al.
·
OPUS (Augsburg University)
·
14
Synchronous + Concurrent + Sequential = Earlier than + Not later than
2006
·
G. Juhas
, R. Lorenz
, et al.
·
International Conference on Application of Concurrency to System Design (ACSD)
·
14
Can I Execute My Scenario in Your Net? VipTool Tells You!
2006
·
Robin Bergenthum
, Jörg Desel
, et al.
·
Lecture notes in computer science
·
14
Petri Nets over Partial Algebra
2001
·
Jörg Desel
, Gabriel Juhás
, et al.
·
Lecture notes in computer science
·
12
On Semantics of Petri Nets Over Partial Algebra
1999
·
Gabriel Juhás
·
Lecture notes in computer science
·
12
Complete Process Semantics for Inhibitor Nets
2007
·
Gabriel Juhás
, Robert Lorenz
, et al.
·
Springer eBooks
·
11
Reasoning about Algebraic Generalisation of Petri Nets
1999
·
Gabriel Juhás
·
Lecture notes in computer science
·
11
Executability of scenarios in Petri nets
2008
·
Robert Lorenz
, Gabriel Juhás
, et al.
·
Theoretical Computer Science
·
10
PDF
Modelling and Control with Modules of Signal Nets
2004
·
Gabriel Juhás
, Robert Lorenz
, et al.
·
Lecture notes in computer science
·
10
Synthesis of Controlled Behavior with Modules of Signal Nets
2004
·
Gabriel Juhás
, Robert Lorenz
, et al.
·
Lecture notes in computer science
·
10
A Guide to Modelling and Control with Modules of Signal Nets
2004
·
Jörg Desel
, Hans-Michael Hanisch
, et al.
·
Lecture notes in computer science
·
10
Complete Process Semantics of Petri Nets
2008
·
Gabriel Juhás
, Robert Lorenz
, et al.
·
Fundamenta Informaticae
·
9
Unfolding Semantics of Petri Nets Based on Token Flows
2009
·
Robin Bergenthum
, Sebastian Mauser
, et al.
·
Fundamenta Informaticae
·
8
Decision Support With Logical and Fuzzy Petri Nets
2008
·
Fedor Lehocki
, Gabriel Juhas
, et al.
·
Cybernetics & Systems
·
8
Show more works
View as search
Works count:
64
Citation count:
595
H-index:
14
I10-index:
22
Year
Topic
Type
