The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Javier Esparza, Stephan Melzer
    Model Checking LTL Using Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:1-20 [Conf]
  2. Joseph Sifakis
    On the Composition of Timed Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:21-22 [Conf]
  3. Robert Valette
    Some Issues About Petri Net Application to Manufacturing and Process Supervisory Control. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:23-41 [Conf]
  4. Charles Lakos
    On the Abstraction of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:42-61 [Conf]
  5. Wil M. P. van der Aalst, Twan Basten
    Life-Cycle Inheritance: A Petri-Net-Based Approach. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:62-81 [Conf]
  6. Daniel Moldt, Frank Wienberg
    Multi-Agent-Systems Based on Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:82-101 [Conf]
  7. Peter Habermehl
    On the Complexity of the Linear-Time mu -calculus for Petri-Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:102-116 [Conf]
  8. Wojciech Fraczak, Elisabeth Pelz
    Improved Implementations via a New Structural Equivalence on Labelled Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:117-135 [Conf]
  9. Tuomas Aura, Johan Lilius
    Time Processes for Time Petri-Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:136-155 [Conf]
  10. Makoto Tanabe
    Timed Petri Nets and Temporal Linear Logic. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:156-174 [Conf]
  11. Serge Haddad, Patrice Moreaux, Giovanni Chiola
    Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:175-194 [Conf]
  12. Olaf Kummer, Mark-Oliver Stehr
    Petri's Axioms of Concurrency- A Selection of Recent Results. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:195-214 [Conf]
  13. Falko Bause
    Analysis of Petri Nets with a Dynamic Priority Method. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:215-234 [Conf]
  14. Ekkart Kindler
    A Compositional Partial Order Semantics for Petri Net Components. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:235-252 [Conf]
  15. François Vernadat, François Michel
    Covering Step Graph Preserving Failure Semantics. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:253-270 [Conf]
  16. Karsten Schmidt
    Siphons, Traps and High-Level Nets with Infinite Color Domains. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:271-289 [Conf]
  17. Søren Christensen, Kjeld Høyer Mortensen
    Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:290-309 [Conf]
  18. Marta Pietkiewicz-Koutny
    Transition Systems of Elementary Net Systems with Inhibitor Arcs. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:310-327 [Conf]
  19. Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev
    Coupling Asynchrony and Interrupts: Place Chart Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:328-347 [Conf]
  20. Luigi Portinale
    Modeling and Solving Constraint Satisfaction Problems through Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:348-366 [Conf]
  21. Renée Boubour, Claude Jard
    Fault Detection in Telecommunication Networks Based on a Petri Net Representation of Alarm Propagation. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:367-386 [Conf]
  22. Søren Christensen, Jens Bæk Jørgensen
    Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:387-406 [Conf]
  23. Wil M. P. van der Aalst
    Verification of Workflow Nets. [Citation Graph (2, 0)][DBLP]
    ICATPN, 1997, pp:407-426 [Conf]
  24. Karsten Schmidt
    Verification of Siphons and Traps for Algebraic Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:427-446 [Conf]
  25. Eike Best, Thomas Thielke
    Orthogonal Transformations for Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:447-466 [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