The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Gianfranco Balbo
    Performance Issues in Parallel Programming. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:1-23 [Conf]
  2. Wolfgang Reisig
    Combining Petri Nets and Other Formal Methods. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:24-44 [Conf]
  3. C. Autant, Ph. Schnoebelen
    Place Bisimulations in Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:45-61 [Conf]
  4. Kamel Barkaoui, Michel Minoux
    A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:62-75 [Conf]
  5. Carolyn Brown, Doug Gurr
    Refinement and Simulation of Nets - A Categorical Characterisation. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:76-92 [Conf]
  6. Giorgio Bruno, Andrea Castella, Gianpaolo Macario, Mario P. Pescarmona
    Scheduling Hard Real Time Systems Using High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:93-112 [Conf]
  7. Søren Christensen, Laure Petrucci
    Towards a Modular Analysis of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:113-133 [Conf]
  8. Jörg Desel
    A Proof of the Rank Theorem for Extended Free Choice Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:134-153 [Conf]
  9. Susanna Donatelli, Matteo Sereno
    On the Product Form Solution for Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:154-172 [Conf]
  10. Greg Findlow
    Obtaining Deadlock-Preserving Skeletons for Coloured Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:173-192 [Conf]
  11. Hans Fleischhack
    P-Superfairness in Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:193-204 [Conf]
  12. Hartmann J. Genrich, Robert M. Shapiro
    Formal Verification of an Arbiter Cascade. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:205-223 [Conf]
  13. Carlos A. Heuser, Gernot Richter
    Constructs for Modeling Information Systems with Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:224-243 [Conf]
  14. Kunihiko Hiraishi
    Construction of a Class of Safe Petri Nets by Presenting Firing Sequences. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:244-262 [Conf]
  15. Peter Kemper, Falko Bause
    An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:263-278 [Conf]
  16. Guenter Klas
    Hierarchical Solution of Generalized Stochastic Petri Nets by Means of Traffic Processes. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:279-298 [Conf]
  17. Andrei Kovalyov
    Concurrency Relations and the Safety Problem for Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:299-309 [Conf]
  18. Johan Lilius
    High-Level Nets and Linear Logic. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:310-327 [Conf]
  19. Vanio M. Savi, Xiaolan Xie
    Liveness and Boundedness Analysis for Petri Nets with Event Graph Modules. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:328-347 [Conf]
  20. Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva
    On Weighted T-Systems. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:348-367 [Conf]
  21. Geoff Cutts, Shaun Rattigan
    Using Petri Nets to Develop Programs for PLC Systems. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:368-372 [Conf]
  22. K. Lemmer, Eckehard Schnieder
    Modelling and Control of Complex Logistic Systems for Manufacturing. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:373-378 [Conf]
  23. Jean Christophe Lloret, J. L. Roux, B. Algayres, M. Chamontin
    Modelling and Evaluation of a Satellite System Using EVAL*, a Petri Net Based Industrial Tool. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:379-383 [Conf]
  24. William W. McLendon Jr., Richard F. Vidale
    Analysis of an Ada System Using Coloured Petri Nets and Occurrence Graphs. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:384-388 [Conf]
  25. Kimmo Varpaaniemi, Marko Rauhamaa
    The Stubborn Set Method in Practice. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:389-393 [Conf]
  26. Linda Wilkens, James Canning, Patrick D. Krolak
    Modeling Fine Grain Computation via the Fusion of Two Extended Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:394-398 [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