The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gabriel Juhás: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. Jörg Desel, Gabriel Juhás
    ''What Is a Petri Net?''. [Citation Graph (0, 0)][DBLP]
    Unifying Petri Nets, 2001, pp:1-25 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. Gabriel Juhás
    Reasoning about Algebraic Generalisation of Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1999, pp:324-343 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. Robert Lorenz, Gabriel Juhás
    Towards Synthesis of Petri Nets from Scenarios. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2006, pp:302-321 [Conf]
  13. 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]
  14. 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]
  15. Gabriel Juhás
    On Semantics of Petri Nets over Partial Algebra. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 1999, pp:414-421 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. Gabriel Juhás, Robert Lorenz, Sebastian Mauser
    Complete Process Semantics for Inhibitor Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:184-203 [Conf]

  21. Unifying Petri Net Semantics with Token Flows. [Citation Graph (, )][DBLP]


  22. Instance Deadlock: A Mystery behind Frozen Programs. [Citation Graph (, )][DBLP]


  23. Partial Order Semantics of Types of Nets. [Citation Graph (, )][DBLP]


  24. Semantics of petri nets: a comparison. [Citation Graph (, )][DBLP]


  25. How to synthesize nets from languages: a survey. [Citation Graph (, )][DBLP]


  26. Decision Support with Logical and Fuzzy Petri Nets. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002