PUBLICATIONS:

H. Ehrig, G. Juhás, J. Padberg, G. Rozenberg (Eds.). Unifying Petri Nets, Advances in Petri Nets, LNCS 2128, pp. 1-25, Springer-Verlag, 2001 (indexed in SCI-E and Current Contents).

Publications indexed in SCI-E:

• G. Juhás, R. Lorenz and S. Mauser: Causal Semantics of Algebraic Petri Nets Distinguishing Concurrency and Synchronicity. To appear in Fundamenta Informaticae , IOS Press.
• G. Juhás, R. Lorenz and S. Mauser: Complete Process Semantics for Inhibitor Nets. Application and Theory of Petri Nets and Other Models of Concurrency. LNCS 4546, pp. 184–203, Springer-Verlag, 2007.
• R. Lorenz and G. Juhás: Toward Synthesis of Petri Nets from Scenarios. Application and Theory of Petri Nets and Other Models of Concurrency. LNCS 4024, pp. 302-321, Springer-Verlag, 2006.
• R. Bergenthum, J. Desel, G. Juhás and R. Lorenz: Can I Execute my Scenario in Your Net? VipTool tells you! Application and Theory of Petri Nets and Other Models of Concurrency. LNCS 4024, pp. 382-390, Springer-Verlag, 2006.
• G. Juhás, R. Lorenz and J. Desel: Can I Execute my Scenario in Your Net? Application and Theory of Petri Nets and Other Models of Concurrency. LNCS 3536, pp 289-308. Springer-Verlag, 2005.
• J. Desel, H.-M. Hanisch,G. Juhás, R. Lorenz and C. Neumair: A Guide to Modelling and Control with Modules of Signal Nets. Integration of Software Specification Techniques for Applications in Engineering, LNCS 3147, pp. 270-300, Springer-Verlag, 2004.
• G. Juhás, R. Lorenz and C. Neumair: Modelling and Control with Modules of Signal Nets. Lectures on Cocnurrency and Petri Nets, Advances in Petri Nets, LNCS 3098, pp. 585-625, Springer-Verlag, 2004.
• G. Juhás, R. Lorenz and C. Neumair: Synthesis of Controlled Behavior with Modules of Signal Nets. Application and Theory of Petri Nets, LNCS 3099, pp. 238-257, Springer-Verlag, 2004.
• J. Desel, G. Juhás and C. Neumair: Finite Unfoldings of Unbounded Petri Nets. Application and Theory of Petri Nets, LNCS 3099, pp. 157-176, Springer-Verlag, 2004.
• G. Juhás, R. Lorenz and T. Šingliar: On Synchronicity and Concurrency in Petri Nets. Application and Theory of Petri Nets, LNCS 2679, pp. 357-376, Springer-Verlag, 2003.
• J. Desel, G. Juhás, R. Lorenz and C. Neumair: Modelling and Validation with VipTool. Business Process Management 2003, LNCS 2678, pp. 380-389, Springer-Verlag, 2003.
• J. Desel, G. Juhás and R. Lorenz: Petri nets over partial algebra. Unifying Petri Nets, Advances in Petri Nets, LNCS 2128, pp.131-178, Springer-Verlag, 2001.
• J. Desel and G. Juhás: What is a Petri Net? Informal Answers for the Informed Readers. Unifying Petri Nets, Advances in Petri Nets, LNCS 2128, pp. 1-25, Springer-Verlag, 2001.
• J. Desel, G. Juhás and R. Lorenz: Process semantics of Petri nets over partial algebra. Applications and Theory of Petri Nets, LNCS 1825, pp.146-165, Springer-Verlag, 2000.
• G. Juhás: On Semantics of Petri Nets over Partial Algebra, Current Trends in Theory and Practice of Informatics, Springer, LNCS 1725, pages 408--415, 1999.

Other refereed publications in journals and books:

• J. Desel, G. Juhás and R. Lorenz: Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. Electronic Notes in Theoretical Computer Science, 82(7), 17 pages, Elsevier, 2003.
• J. Desel, G. Juhás and R. Lorenz: Unifying Petri nets with restricted occurrence rule using partial Algebra. Electronic Notes in Theoretical Computer Science 44(4), 25 pages, Elsevier, 2001.
• G. Juhás and R. Lorenz: Modelling with Petri Modules. In: B. Caillaud, Ph. Darondeau, L. Lavagno, X. Xie (Eds.). Synthesis and Control of Discrete Event Systems. pp. 125-138, Kluwer Academic Press, 2002.
• G. Juhás: Petri nets with generalised algebra: a comparison. Electronic Notes in Theoretical Computer Science, 27, 1999.
• G. Juhás: The essence of Petri nets and transition systems through Abelian groups. Electronic Notes in Theoretical Computer Science, 18, 1998.

Other refereed publications in conference proceedings:

• G. Juhás, R. Lorenz and S. Mauser: Synchronous + Concurrent + Sequential = Earlier than + Not later than. Proc. of 6th International Conference on Application of Concurrency to System Design, pp. 261-272, IEEE Computer Society Press, 2006.
• J. Desel, G. Juhás, R. Lorenz, et al.: Modellierung von Steuerungssystemen mit Signal-Petrinetzen - Eine Fallstudie aus der Automobilindustrie. In: E. Schnieder (Hrsg.) Entwurf komplexer Automatisierungssysteme EKA 2003, pp. 273-295, 2003.
• J. Desel, G. Juhás and R. Lorenz: Input/Output Equivalence of Petri Modules. In: Prof. of the 6th Biennial World Conference on Integrated Design and Process Technology IDPT 2002, Pasadena, California, 2002.
• G. Juhás: A unified approach to modelling and control of a class of discrete event and hybrid systems via algebraically generalized Petri nets. In: Proc. of the IFAC Conference CSD2000, Elsevier.
• G. Juhás: Reasoning about algebraic generalisation of Petri nets. In: Proc. of 20^th International Conference on Application and Theory of Petri Nets. Williamsburg, VA, USA, Springer, LNCS 1639, pp. 324--343, 1999.
• G. Juhás: The essence of Petri nets and transition systems through Abelian groups. In: P. Jancar and M. Kretínský, editors, Proceedings of MFCS'98 Workshop on Concurrency, pp. 97--112, Brno, CZ, August 1998. FIMU Report Series FIMU-RS-98-06, Faculty of Informatics, Masaryk University.
• G. Juhás: Algebraically generalised Petri nets: a practical tool for advanced modelling. In: Proceedings of ASI'98, The Annual Conference of ICIMS-MOE (ESPRIT. P. 9251), pp. 321--328, Bremen, 1998.
• G. Juhás: A concept of an algebraic generalisation of Petri nets. In: S. Kozák and M. Huba, editors, Proc. of 2nd IFAC Workshop on New Trends in Design of Control Systems, NTDSC'97, Elsevier.
• G. Juhás: A predicate-relation formalism for discrete event systems and an algebraic extension of Petri nets. In: Proceedings of ASI'97, The Annual Conference of ICIMS-MOE (ESPRIT. P. 9251), pp. 281--288, Budapest, 1997.
• G. Juhás: On algebraic structures based extension of coloured Petri nets. In: Proc. 2nd Conference Process Control'96, pp. 137--140, Pardubice, CZ, 1996. University of Pardubice.
• V. Popardovský und G. Juhás: Neural Network Modelling of Discrete Event Systems. In: Proc. 2nd Conference Process Control'96, pp. 137--140, Pardubice, CZ, 1996. University of Pardubice.
• G. Juhás: An internal approach to systems description and its specification for DEDS relation modelling. In: R. Trappl, editor, Cybernetics and Systems'96, Proceedings of the 13th European Meeting on Cybernetics and Systems Research}, pp. 8--13, Vienna, 1996.
• G. Juhás: An algebraic generalisation of Petri nets. In: J. Stefan, editor, Proc. 30th International Conference Modelling and Simulation of Systems, MOSIS'96, pp. 69--74, Ostrava, CZ, 1996. MARQ.
• G. Juhás and M. Kocian: Invariant state progress and relation modelling of DEDS. In: J. Dolezal and J. Fidler, editors, Systems Modelling and Optimization, Proceedings of the 17th IFIP TC7 Conference on System Modelling and Optimization, 1995, pp. 146--154. Chapman & Hall, London, 1996.
• G. Juhás and M. Kocian: Relation modelling and control of discrete state change systems. In: Z. Bubnicki, editor, Proceedings of the 12th International Conference on System Science, volume 1, pp. 426--433, Wroclaw, Poland,1995.
• G. Juhás and M. Kocian: State difference relation in Petri nets. In: Jávor, editor, Proceedings of the IMACS European Simulation Meeting on Simulation Tools and Applications, pp. 241--247, Gyor, Hungary, August 1995.
• G. Juhás and M. Kocian: Invariant relation behaviour in Petri nets. In: Snorek, Sujansky, and Verbraeck, editors, Modelling and Simulation 1995, Proceedings of European Simulation Multiconference 1995, pp. 160--164, Prague, June 1995. A publication of the [SCS], Ghent.
• G. Juhás and M. Kocian: Relation approach to discrete state change systems modelling and control. In: Preprints of the 10th Conference Process Control '95, pp. 202--205, Tatranské Matliare, Slovakia, 1995.
• G. Juhás and M. Kocian: Relation behavioural modelling and control of discrete state change systems. In: Proccedings Int'l AMSE Conference SYSTEMS Analysis, Control & Design 1995, volume 1, pp. 79--88, Brno, Czech Republic, 1995.
• G. Juhás and M. Kocian: Generalized t-invariants of Petri nets and control of DEDS. In: 1st IFAC Workshop on New Trends in Design of Control Systems, NTDSC'94, pp. 408--413, Smolenice, Slovakia, 1994. IFAC.

Other publications:

• G. Juhás and R. Lorenz: Modelling Time in Signal Nets. In: E. Kindler (Ed.) Proc 11. Workshop Algorithmen und Werkzeuge für Petrinetze AWPN 2004, Bericht tr-ri-04-251 Universität Paderborn, pp. 49-54, Oktober 2004.
• G. Juhás, R. Lorenz (Eds.): Proc 10. Workshop Algorithmen und Werkzeuge für Petrinetze AWPN 2001, Fachberichte Informatik Katholische Universität Eichstätt, Oktober 2003.
• G. Juhás, R. Lorenz (Eds.): Proc 8. Workshop Algorithmen und Werkzeuge für Petrinetze AWPN 2001, Fachberichte Informatik Katholische Universität Eichstätt, Oktober 2001.
• J. Desel, G. Juhás and R. Lorenz: Modelling with Petri Modules: Composition Preserving Equivalence. In: G. Juhás, R. Lorenz (Eds.) Proc. 8. Workshop Algorithmen und Werkzeuge für Petrinetze AWPN 2001, Fachberichte Informatik Katholische Universität Eichstätt, pp. 13-21, Oktober 2001.
• G. Juhás: Modelling with Petri Modulles (Extended Abstract). In: B. Caillaud,  X. Xie: Proc. of Symposium on the Supervisory Control of Discrete Event Systems. INRIA, pp. 8-11, 2001.
• G. Juhás: Modeling place timed Petri nets via asymmetric synchronization, Petri Net Newsletter, 58, pp. 15--20, April 2000.
• J. Desel, G. Juhás and R. Lorenz: Process Semantics and Process Equivalence of NCEM. In: S. Philippi (Ed.) Proc 7. Workshop Algorithmen und Werkzeuge für Petrinetze AWPN 2000, Fachberichte Informatik Universität Koblenz - Landau, pp. 7-12, Oktober 2000.
• G. Juhás: Modelling and control of flexible manufacturing systems via algebraically generalised Petri nets. AT & P Journal, 5(6): pp. 60--63, 1998 (In Slovak).
• G. Juhás and M. Kocian: Invariant state progress and relation modelling of DEDS. In: Collection of Abstract of the 17th IFIP Conference on System Modelling and Optimization 1995, volume 1, pp. 280--283, Prague, 1995.