The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Clarence A. Ellis, Gary J. Nutt
    Modeling and Enactment of Workflow Systems. [Citation Graph (5, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:1-16 [Conf]
  2. Manuel Silva
    Interleaving Functional and Performance Structural Analysis of Net Models. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:17-23 [Conf]
  3. Kishor S. Trivedi, Vidyadhar G. Kulkarni
    FSPNs: Fluid Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:24-31 [Conf]
  4. José A. Bañares, Pedro R. Muro-Medrano, J. L. Villarroel
    Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:32-48 [Conf]
  5. Michel Barbeau, Gregor von Bochmann
    A Subset of Lotos with the Computational Power of Place/Transition-Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:49-68 [Conf]
  6. Kamel Barkaoui, Claude Dutheillet, Serge Haddad
    An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:69-88 [Conf]
  7. Luca Bernardinello
    Synthesis of Net Systems. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:89-105 [Conf]
  8. Peter Buchholz
    Hierarchies in Colored GSPNs. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:106-125 [Conf]
  9. Tiehua Cao, Arthur C. Sanderson
    Variable Reasoning and Analysis about Uncertainty with Fuzzy Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:126-145 [Conf]
  10. Giovanni Chiola, Alois Ferscha
    Distributed Simulation of Timed Petri Nets: Exploiting the Net Structure to Obtain Efficiency. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:146-165 [Conf]
  11. Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi
    Transient Analysis of Deterministic and Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:166-185 [Conf]
  12. Søren Christensen, Niels Damgaard Hansen
    Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:186-205 [Conf]
  13. Yi Deng, Shi-Kuo Chang, Jorge C. A. de Figueiredo, Angelo Perkusich
    Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:206-223 [Conf]
  14. Jörg Desel, Javier Esparza
    Shortest Paths in Reachability Graphs. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:224-241 [Conf]
  15. Raymond R. Devillers
    Construction of S-invariants and S-components for Refined Petri Boxes. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:242-261 [Conf]
  16. Dominik Gomm, Ekkart Kindler, Barbara Paech, Rolf Walter
    Compositional Liveness Properties of EN-Systems. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:262-281 [Conf]
  17. Hans-Michael Hanisch
    Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:282-299 [Conf]
  18. Jean-Michel Ilié, Omar Rojas
    On Well-Formed Nets and Optimizations in Enabling Tests. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:300-318 [Conf]
  19. Peter Kemper
    Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:319-338 [Conf]
  20. Luigi Portinale
    Exploiting T-invariant Analysis in Diagnostic Reasoning on a Petri Net Model. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:339-356 [Conf]
  21. Nathalie Sauer, Xiaolan Xie
    Marking Optimization of Stochastic Timed Event Graphs. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:357-376 [Conf]
  22. Christophe Sibertin-Blanc
    A Client-Server Protocol for the Composition of Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:377-396 [Conf]
  23. C. R. M. Sundaram, Y. Narahari
    Analysis of Dynamic Load Balancing Strategies Using a Combination of Stochastic Petri Nets and Queueing Networks. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:397-414 [Conf]
  24. Enrique Teruel, Manuel Silva
    Liveness and Home States in Equal Conflict Systems. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:415-432 [Conf]
  25. Rüdiger Valk
    Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:433-452 [Conf]
  26. Wil M. P. van der Aalst
    Interval Timed Coloured Petri Nets and their Analysis. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:453-472 [Conf]
  27. Chang-Yu Wang, Kishor S. Trivedi
    Integration of Specification for Modeling and Specification for System Design. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:473-492 [Conf]
  28. Toshimasa Watanabe, Masahiro Yamauchi
    New Priority-Lists for Scheduling in Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:493-512 [Conf]
  29. Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang
    A Unified Approach for Reasoning about Conflict-Free Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:513-531 [Conf]
  30. J. Berger, Luc Lamontagne
    A Colored Petri Net Model for a Naval Command and Control System. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:532-541 [Conf]
  31. Carla Capellmann, Heinz Dibold
    Petri Net Based Specifications of Services in an Intelligent Network - Experiences gained from a Test Case Application. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:542-551 [Conf]
  32. Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki
    On Net Modeling of Industrial Size Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:552-561 [Conf]
  33. David A. Hartley, David M. Harvey
    Analysis of the TMS320C40 Communication Channels Using Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:562-571 [Conf]
  34. Guenter Klas
    Protocol Optimization for a Packet-Switched Bus in Case of Burst Traffic by Means of GSPN. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:572-581 [Conf]
  35. Qian Zhang, Herbert Grünbacher
    Petri Nets Modeling in Pipelined Microprocessor Design. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1993, pp:582-591 [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