Gabriel Juhas
Gabriel Juhas
Unknown affiliation
Verified email at stuba.sk
Title
Cited by
Cited by
Year
“What Is a Petri Net?” Informal Answers for the Informed Reader
J Desel, G Juhás
Unifying petri nets, 1-25, 2001
1692001
How to synthesize nets from languages-a survey
R Lorenz, S Mauser, G Juhás
2007 Winter Simulation Conference, 637-647, 2007
542007
Modelling and validation with VipTool
J Desel, G Juhás, R Lorenz, C Neumair
International Conference on Business Process Management, 380-389, 2003
422003
Can i execute my scenario in your net?
G Juhás, R Lorenz, J Desel
International Conference on Application and Theory of Petri Nets, 289-308, 2005
372005
Towards synthesis of petri nets from scenarios
R Lorenz, G Juhás
International Conference on Application and Theory of Petri Nets, 302-321, 2006
282006
Unifying Petri nets: advances in Petri nets
H Ehrig, G Juhas, J Padberg, G Rozenberg
Springer Science & Business Media, 2001
272001
Process semantics of Petri nets over partial algebra
J Desel, G Juhás, R Lorenz
International Conference on Application and Theory of Petri Nets, 146-165, 2000
242000
Synthesis of controlled behavior with modules of signal nets
G Juhás, R Lorenz, C Neumair
International Conference on Application and Theory of Petri Nets, 238-257, 2004
222004
Petri nets over partial algebra
J Desel, G Juhás, R Lorenz
Unifying Petri Nets, 126-172, 2001
222001
Instance deadlock: A mystery behind frozen programs
G Juhás, I Kazlov, A Juhásová
International Conference on Applications and Theory of Petri Nets, 1-17, 2010
212010
Can i execute my scenario in your net? viptool tells you!
R Bergenthum, J Desel, G Juhás, R Lorenz
International Conference on Application and Theory of Petri Nets, 381-390, 2006
212006
Synchronous+ concurrent+ sequential= earlier than+ not later than
G Juhás, R Lorenz, S Mauser
Sixth International Conference on Application of Concurrency to System …, 2006
182006
Complete process semantics for inhibitor nets
G Juhás, R Lorenz, S Mauser
International Conference on Application and Theory of Petri Nets, 184-203, 2007
162007
Models from scenarios
R Lorenz, J Desel, G Juhás
Transactions on Petri Nets and Other Models of Concurrency VII, 314-371, 2013
142013
Reasoning about algebraic generalisation of Petri nets
G Juhás
International Conference on Application and Theory of Petri Nets, 324-343, 1999
141999
Executability of scenarios in Petri nets
R Lorenz, G Juhás, R Bergenthum, J Desel, S Mauser
Theoretical Computer Science 410 (12-13), 1190-1216, 2009
132009
Unfolding semantics of Petri nets based on token flows
R Bergenthum, S Mauser, R Lorenz, G Juhas
Fundamenta Informaticae 94 (3-4), 331-360, 2009
132009
Causal semantics of algebraic Petri nets distinguishing concurrency and synchronicity
G Juhás, R Lorenz, S Mauser
Fundamenta Informaticae 86 (3), 255-298, 2008
132008
Finite unfoldings of unbounded petri nets
J Desel, G Juhás, C Neumair
International Conference on Application and Theory of Petri Nets, 157-176, 2004
132004
On semantics of Petri nets over partial algebra
G Juhás
International Conference on Current Trends in Theory and Practice of …, 1999
121999
The system can't perform the operation now. Try again later.
Articles 1–20