Gabriel Juhas
Gabriel Juhas
Affiliation inconnue
Adresse e-mail validée de stuba.sk
Titre
Citée par
Citée par
Année
“What Is a Petri Net?” Informal Answers for the Informed Reader
J Desel, G Juhás
Unifying Petri Nets, 1-25, 2001
1752001
How to synthesize nets from languages-a survey
R Lorenz, S Mauser, G Juhás
2007 Winter Simulation Conference, 637-647, 2007
592007
Modelling and validation with VipTool
J Desel, G Juhás, R Lorenz, C Neumair
International Conference on Business Process Management, 380-389, 2003
442003
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
392005
Towards synthesis of petri nets from scenarios
R Lorenz, G Juhás
International Conference on Application and Theory of Petri Nets, 302-321, 2006
302006
Unifying Petri nets: advances in Petri nets
H Ehrig, G Juhas, J Padberg, G Rozenberg
Springer Science & Business Media, 2001
302001
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
252004
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
252000
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
222006
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
Petri nets over partial algebra
J Desel, G Juhás, R Lorenz
Unifying Petri Nets, 126-172, 2001
212001
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
Models from scenarios
R Lorenz, J Desel, G Juhás
Transactions on Petri Nets and Other Models of Concurrency VII, 314-371, 2013
172013
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
172007
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
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
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
Causal semantics of algebraic Petri nets distinguishing concurrency and synchronicity
G Juhás, R Lorenz, S Mauser
Fundamenta Informaticae 86 (3), 255-298, 2008
122008
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
122004
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20