Search the dblp DataBase
Gabriel Juhás :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Gabriel Juhás , Robert Lorenz , Christian Neumair Modelling and Control with Modules of Signal Nets. [Citation Graph (0, 0)][DBLP ] Lectures on Concurrency and Petri Nets, 2003, pp:585-625 [Conf ] Gabriel Juhás , Robert Lorenz , Sebastian Mauser Synchronous + Concurrent + Sequential = Earlier than + Not later than. [Citation Graph (0, 0)][DBLP ] ACSD, 2006, pp:261-272 [Conf ] Robin Bergenthum , Jörg Desel , Gabriel Juhás , Robert Lorenz Can I Execute My Scenario in Your Net? VipTool Tells You! [Citation Graph (0, 0)][DBLP ] ICATPN, 2006, pp:381-390 [Conf ] Jörg Desel , Gabriel Juhás ''What Is a Petri Net?''. [Citation Graph (0, 0)][DBLP ] Unifying Petri Nets, 2001, pp:1-25 [Conf ] Jörg Desel , Gabriel Juhás , Robert Lorenz Process Semantics of Petri Nets over Partial Algebra. [Citation Graph (0, 0)][DBLP ] ICATPN, 2000, pp:146-165 [Conf ] Jörg Desel , Gabriel Juhás , Robert Lorenz Petri Nets over Partial Algebra. [Citation Graph (0, 0)][DBLP ] Unifying Petri Nets, 2001, pp:126-172 [Conf ] Jörg Desel , Gabriel Juhás , Christian Neumair Finite Unfoldings of Unbounded Petri Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2004, pp:157-176 [Conf ] Gabriel Juhás Reasoning about Algebraic Generalisation of Petri Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 1999, pp:324-343 [Conf ] Gabriel Juhás , Robert Lorenz , Jörg Desel Can I Execute My Scenario in Your Net?. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:289-308 [Conf ] Gabriel Juhás , Robert Lorenz , Christian Neumair Synthesis of Controlled Behavior with Modules of Signal Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2004, pp:238-257 [Conf ] Gabriel Juhás , Robert Lorenz , Tomás Singliar On Synchronicity and Concurrency in Petri Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2003, pp:357-376 [Conf ] Robert Lorenz , Gabriel Juhás Towards Synthesis of Petri Nets from Scenarios. [Citation Graph (0, 0)][DBLP ] ICATPN, 2006, pp:302-321 [Conf ] Jörg Desel , Gabriel Juhás , Robert Lorenz , Christian Neumair Modelling and Validation with VipTool. [Citation Graph (0, 0)][DBLP ] Business Process Management, 2003, pp:380-389 [Conf ] Jörg Desel , Hans-Michael Hanisch , Gabriel Juhás , Robert Lorenz , Christian Neumair A Guide to Modelling and Control with Modules of Signal Nets. [Citation Graph (0, 0)][DBLP ] SoftSpez Final Report, 2004, pp:270-300 [Conf ] Gabriel Juhás On Semantics of Petri Nets over Partial Algebra. [Citation Graph (0, 0)][DBLP ] SOFSEM, 1999, pp:414-421 [Conf ] Jörg Desel , Gabriel Juhás , Robert Lorenz Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:44, n:4, pp:- [Journal ] Jörg Desel , Gabriel Juhás , Robert Lorenz Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:82, n:7, pp:- [Journal ] Gabriel Juhás The essence of Petri nets and transition systems through Abelian groups. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal ] Gabriel Juhás Petri nets with generalized algebra: a comparison. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:27, n:, pp:- [Journal ] Gabriel Juhás , Robert Lorenz , Sebastian Mauser Complete Process Semantics for Inhibitor Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2007, pp:184-203 [Conf ] Unifying Petri Net Semantics with Token Flows. [Citation Graph (, )][DBLP ] Instance Deadlock: A Mystery behind Frozen Programs. [Citation Graph (, )][DBLP ] Partial Order Semantics of Types of Nets. [Citation Graph (, )][DBLP ] Semantics of petri nets: a comparison. [Citation Graph (, )][DBLP ] How to synthesize nets from languages: a survey. [Citation Graph (, )][DBLP ] Decision Support with Logical and Fuzzy Petri Nets. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.153secs