The SCEAS System
Navigation Menu

Conferences in DBLP

Advanced Courses (ac)
2003 (conf/ac/2003pn)

  1. Wil M. P. van der Aalst
    Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:1-65 [Conf]
  2. Dan Barak, David Harel, Rami Marelly
    InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:66-86 [Conf]
  3. Johan Bengtsson, Wang Yi
    Timed Automata: Semantics, Algorithms and Tools. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:87-124 [Conf]
  4. Simona Bernardi, Andrea Bobbio, Susanna Donatelli
    Petri Nets and Dependability. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:125-179 [Conf]
  5. Eike Best, Maciej Koutny
    Process Algebra: A Petri-Net-Oriented Tutorial. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:180-209 [Conf]
  6. Jonathan Billington, Guy Edward Gallasch, Bing Han
    A Coloured Petri Net Approach to Protocol Verification. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:210-290 [Conf]
  7. Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
    Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:291-327 [Conf]
  8. Nadia Busi, Roberto Gorrieri
    A Survey on Non-interference with Petri Nets. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:328-344 [Conf]
  9. Josep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev
    Synthesis of Asynchronous Hardware from Petri Nets. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:345-401 [Conf]
  10. Søren Christensen, Jens Bæk Jørgensen
    Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:402-412 [Conf]
  11. Philippe Darondeau
    Unbounded Petri Net Synthesis. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:413-438 [Conf]
  12. Giovanni Denaro, Mauro Pezzè
    Petri Nets and Software Engineering. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:439-466 [Conf]
  13. Jörg Desel, Vesna Milijic, Christian Neumair
    Model Validation in Controller Design. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:467-495 [Conf]
  14. Hartmut Ehrig, Julia Padberg
    Graph Grammars and Petri Net Transformations. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:496-536 [Conf]
  15. Blaise Genest, Anca Muscholl, Doron Peled
    Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:537-558 [Conf]
  16. Reiko Heckel, Hendrik Voigt
    Model-Based Development of Executable Business Processes for Web Services. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:559-584 [Conf]
  17. 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]
  18. Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen
    Application of Coloured Petri Nets in System Development. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:626-685 [Conf]
  19. Robin Milner
    Bigraphs for Petri Nets. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:686-701 [Conf]
  20. Mogens Nielsen, Frank D. Valencia
    Notes on Timed Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:702-741 [Conf]
  21. Laura Recalde, Manuel Silva, Joaquin Ezpeleta, Enrique Teruel
    Petri Nets and Manufacturing Systems: An Examples-Driven Tour. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:742-788 [Conf]
  22. Abhik Roychoudhury, P. S. Thiagarajan
    Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:789-818 [Conf]
  23. Rüdiger Valk
    Object Petri Nets: Using the Nets-within-Nets Paradigm. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:819-848 [Conf]
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