The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Rüdiger Valk
    Petri Nets as Token Objects: An Introduction to Elementary Object Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:1-25 [Conf]
  2. André Arnold
    Synchronized Products of Transition Systems and Their Analysis. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:26-27 [Conf]
  3. Giovanni Chiola
    Manual and Automatic Exploitation of Symmetries in SPN Models. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:28-43 [Conf]
  4. Marco Ajmone Marsan, Carla-Fabiana Chiasserini, Andrea Fumagalli
    Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:44-63 [Conf]
  5. Joaquin Ezpeleta, F. García-Vallés, José Manuel Colom
    A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:64-83 [Conf]
  6. Kathi Fisler, Claude Girault
    Modelling and Model Checking a Distributed Shared Memory Consistency Protocol. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:84-103 [Conf]
  7. Lars Michael Kristensen, Antti Valmari
    Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:104-123 [Conf]
  8. Kimmo Varpaaniemi
    On Stubborn Sets in the Verification of Linear Time Temporal Properties. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:124-143 [Conf]
  9. Hans Fleischhack, Bernd Grahlmann
    A Compositional Petri Net Semantics for SDL. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:144-164 [Conf]
  10. Martin Hesketh, Maciej Koutny
    An Axiomatisation of Duplication Equivalence in the Petri Box Calculus. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:165-184 [Conf]
  11. Elmar Bihler, Walter Vogler
    Efficiency of Token-Passing MUTEX-Solutions - Some Experiments. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:185-204 [Conf]
  12. Mark-Oliver Stehr
    Thinking in Cycles. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:205-225 [Conf]
  13. Peter Buchholz
    Iterative Decomposition and Aggregation of Labeled GSPNs. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:226-245 [Conf]
  14. Marco Gribaudo, Matteo Sereno
    On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:246-265 [Conf]
  15. Elisa Bertino, Giovanni Chiola, Luigi V. Mancini
    Deadlock Detection in the Face of Transaction and Data Dependencies in Advanced Transaction Models. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:266-285 [Conf]
  16. Peter Langner, Christoph Schneider, Joachim Wehler
    Petri Net Based Certification of Event-Driven Process Chains. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:286-305 [Conf]
  17. Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann
    M-net Calculus Based Semantics for Triggers. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:306-325 [Conf]
  18. Rossano Gaeta, Marco Ajmone Marsan
    SWN Analysis and Simulation of Large Knockout ATM Switches. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:326-344 [Conf]
  19. Ekkart Kindler, Hagen Völzer
    Flexibility in Algebraic Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:345-364 [Conf]
  20. Ekkart Kindler, Tobias Vesper
    ESTL: A Temporal Logic for Events and States. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:365-384 [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