The SCEAS System
Navigation Menu

Conferences in DBLP

Applications and Theory of Petri Nets (ICATPN/APN) (apn)
2002 (conf/apn/2002)

  1. Wil M. P. van der Aalst
    Making Work Flow: On the Application of Petri Nets to Business Process Management. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:1-22 [Conf]
  2. Jörg Desel
    Model Validation - A Theoretical Issue? [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:23-43 [Conf]
  3. Ian J. Hayes
    The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:44-58 [Conf]
  4. Charles Lakos
    The Challenge of Object Orientation for the Analysis of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:59-67 [Conf]
  5. P. S. Thiagarajan
    Abstract Cyclic Communicating Processes: A Logical View. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:68-69 [Conf]
  6. Alexandre Yakovlev
    Is the Die Cast for the Token Game? [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:70-79 [Conf]
  7. Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe
    Quasi-Static Scheduling of Independent Tasksfor Reactive Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:80-100 [Conf]
  8. Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud, Pierre-André Wacrenier
    Data Decision Diagrams for Petri Net Analysis. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:101-120 [Conf]
  9. Juliane Dehnert
    Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:121-141 [Conf]
  10. Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi
    Real-Time Synchronised Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:142-162 [Conf]
  11. Hans Fleischhack, Christian Stehno
    Computing a Finite Prefix of a Time Petri Net. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:163-181 [Conf]
  12. Steven Gordon, Lars Michael Kristensen, Jonathan Billington
    Verification of a Revised WAP Wireless Transaction Protocol. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:182-202 [Conf]
  13. Li Jiao, To-Yat Cheung, Weiming Lu
    Characterizing Liveness of Petri Nets in Terms of Siphons. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:203-216 [Conf]
  14. Ekkart Kindler
    Petri Nets, Situations, and Automata. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:217-236 [Conf]
  15. Kurt Lautenbach
    Reproducibility of the Empty Marking. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:237-253 [Conf]
  16. Louis-Marie Le Ny, Bruno Tuffin
    Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:254-272 [Conf]
  17. Lin Liu, Jonathan Billington
    Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:273-293 [Conf]
  18. Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu
    Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:294-313 [Conf]
  19. Thomas Mailund
    Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:314-334 [Conf]
  20. Mogens Nielsen, P. S. Thiagarajan
    Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:335-351 [Conf]
  21. Chun Ouyang, Lars Michael Kristensen, Jonathan Billington
    A Formal Service Specification for the Internet Open Trading Protocol. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:352-373 [Conf]
  22. Sibylle Peuker
    Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:374-393 [Conf]
  23. David G. Stork, Rob J. van Glabbeek
    Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:394-413 [Conf]
  24. Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero
    Translating TPAL Specifications into Timed-Arc Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:414-433 [Conf]
  25. Marko Mäkelä
    Maria: Modular Reachability Analyser for Algebraic System Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:434-444 [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