Seguir
Gabriel Juhas
Gabriel Juhas
Afiliación desconocida
Dirección de correo verificada de stuba.sk
Título
Citado por
Citado por
Año
“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
2072001
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
442005
Unifying Petri nets: advances in Petri nets
H Ehrig
Springer Science & Business Media, 2001
342001
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
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
262000
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
252010
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
232001
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
182004
Low-code platforms and languages: the future of software development
G Juhás, L Molnár, A Juhásová, M Ondrišová, M Mladoniczky, T Kováčik
2022 20th International Conference on Emerging eLearning Technologies and …, 2022
162022
Causal semantics of algebraic Petri nets distinguishing concurrency and synchronicity
G Juhás, R Lorenz, S Mauser
Fundamenta Informaticae 86 (3), 255-298, 2008
152008
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
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20