The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Conferences in DBLP

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

  1. Edmund M. Clarke
    Automatic Verification of Finite-state Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:1- [Conf]
  2. Frank DiCesare, Paul T. Kulp, Michael Gile, George List
    The Application of Petri Nets to the Modeling, Analysis and Control of Intelligent Urban Traffic Networks. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:2-15 [Conf]
  3. José Meseguer, Ugo Montanari, Vladimiro Sassone
    On the Model of Computation of Place/Transition Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:16-38 [Conf]
  4. Cosimo Anglano, Luigi Portinale
    B-W Analysis: A Backward Reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:39-58 [Conf]
  5. N. Bennacer, Gerard Florin, C. Fraize, Stéphane Natkin
    Probabilistic Validation of a Remote Procedure Call Protocol. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:59-78 [Conf]
  6. Gérard Berthelot, Hanifa Boucheneb
    Occurrence Graphs for Interval Timed Coloured Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:79-98 [Conf]
  7. José Luis Briz, José Manuel Colom
    Implementation of Weighted Place/Transition Nets Based on Linear Enabling Functions. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:99-118 [Conf]
  8. Peter Buchholz
    Hierarchical High Level Petri Nets for Complex System Analysis. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:119-138 [Conf]
  9. Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta
    Modeling Symmetric Computer Architectures by SWNs. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:139-158 [Conf]
  10. Søren Christensen, Niels Damgaard Hansen
    Coloured Petri Nets Extended with Channels for Synchronous Communication. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:159-178 [Conf]
  11. Gianfranco Ciardo
    Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:179-198 [Conf]
  12. Jean-Michel Couvreur, Emmanuel Paviot-Adet
    New Structural Invariants for Petri Nets Analysis. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:199-218 [Conf]
  13. Michel Diaz, Patrick Sénac
    Time Stream Petri Nets: A Model for Timed Multimedia Information. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:219-238 [Conf]
  14. Cheryl Dietz, Gerlinde Schreiber
    A Term Representation of P/T Systems. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:239-257 [Conf]
  15. Susanna Donatelli
    Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:258-277 [Conf]
  16. Hartmann J. Genrich, Hans-Michael Hanisch, Konrad Wöllhaf
    Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:278-297 [Conf]
  17. Rudolf K. Keller, Marianne Ozkan, Xijin Shen
    Towards Comprehensive Support for the Dynamic Analysis of Petri Net Based Models. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:298-317 [Conf]
  18. Maciej Koutny
    Partial Order Semantics of Box Expressions. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:318-337 [Conf]
  19. Charles Lakos, Søren Christensen
    A General Systematic Approach to Arc Extensions for Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:338-357 [Conf]
  20. Kurt Lautenbach, Hanno Ridder
    Liveness in Bounded Petri Nets Which Are Covered by T-Invariants. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:358-375 [Conf]
  21. Kjeld Høyer Mortensen, Valerio O. Pinci
    Modelling the Work Flow of a Nuclear Waste Management Program. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:376-395 [Conf]
  22. Donna S. Nielsen, Leonard Kleinrock
    Data Structures and Algorithms for Extended State Space and Structural Level Reduction of the GSPN Model. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:396-415 [Conf]
  23. Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia
    Petri Net Analysis Using Boolean Manipulation. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:416-435 [Conf]
  24. W. Ruckdeschel, Reiner Onken
    Modelling of Pilot Behaviour Using Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:436-453 [Conf]
  25. Gert Scheschonk, Michael Timpe
    Simulation and Analysis of a Document Storage System. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:454-470 [Conf]
  26. Christophe Sibertin-Blanc
    Cooperative Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:471-490 [Conf]
  27. Enrique Teruel, Manuel Silva
    Well-Formedness of Equal Conflict Systems. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:491-510 [Conf]
  28. Mikko Tiusanen
    Symbolic, Symmetry, and Stubborn Set Searches. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:511-530 [Conf]
  29. Antti Valmari
    Compositional Analysis with Place-Bordered Subnets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:531-547 [Conf]
  30. Kimmo Varpaaniemi
    On Combining the Stubborn Set Method with the Sleep Set Method. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:548-567 [Conf]
  31. Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno
    OR Causality: Modelling and Hardware Implementation. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:568-587 [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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002