Follow
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: Advances in Petri Nets, 1-25, 2001
2012001
How to synthesize nets from languages-a survey
R Lorenz, S Mauser, G Juhás
2007 Winter Simulation Conference, 637-647, 2007
702007
Modelling and validation with VipTool
A ter Hofstede, J Desel, G Juhás, R Lorenz, C Neumair
Business Process Management: International Conference, BPM 2003 Eindhoven …, 2003
462003
Can i execute my scenario in your net?
G Juhás, R Lorenz, J Desel
Applications and Theory of Petri Nets 2005: 26th International Conference …, 2005
432005
Unifying Petri nets: advances in Petri nets
H Ehrig
Springer Science & Business Media, 2001
352001
Towards synthesis of petri nets from scenarios
R Lorenz, G Juhás
International Conference on Application and Theory of Petri Nets, 302-321, 2006
332006
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
282004
Instance deadlock: A mystery behind frozen programs
G Juhás, I Kazlov, A Juhásová
Applications and Theory of Petri Nets: 31st International Conference, PETRI …, 2010
262010
Process semantics of Petri nets over partial algebra
J Desel, G Juhás, R Lorenz
Application and Theory of Petri Nets 2000: 21st International Conference …, 2000
252000
Models from scenarios
R Lorenz, J Desel, G Juhás
Transactions on Petri Nets and Other Models of Concurrency VII, 314-371, 2013
242013
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
242006
Petri nets over partial algebra
J Desel, G Juhás, R Lorenz
Unifying Petri Nets: Advances in Petri Nets, 126-172, 2001
222001
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
202007
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
192006
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
172004
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
142009
Causal semantics of algebraic Petri nets distinguishing concurrency and synchronicity
G Juhás, R Lorenz, S Mauser
Fundamenta Informaticae 86 (3), 255-298, 2008
142008
Semantics of Petri nets: a comparison
G Juhás, F Lehocki, R Lorenz
2007 Winter Simulation Conference, 617-628, 2007
142007
A guide to modelling and control with modules of signal nets
J Desel, HM Hanisch, G Juhás, R Lorenz, C Neumair
Integration of Software Specification Techniques for Applications in …, 2004
142004
Reasoning about algebraic generalisation of Petri nets
G Juhás
International Conference on Application and Theory of Petri Nets, 324-343, 1999
141999
The system can't perform the operation now. Try again later.
Articles 1–20