Conferences in DBLP

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

1. Susanna Donatelli
   Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort? [Citation Graph (0, 0)][DBLP]
   ICATPN, 2001, pp:1-18 [Conf]
   
2. Robin Milner
   The Flux of Interaction. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2001, pp:19-22 [Conf]
   
3. Mogens Nielsen, Vladimiro Sassone, Jirí Srba
   Towards a Notion of Distributed Time for Petri Nets. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2001, pp:23-31 [Conf]
   
4. Wil M. P. van der Aalst, Twan Basten
   Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2001, pp:32-52 [Conf]
   
5. Parosh Aziz Abdulla, Aletta Nylén
   Timed Petri Nets and BQOs. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2001, pp:53-70 [Conf]
   
6. Michel Beaudouin-Lafon, Wendy E. Mackay, Peter Andersen, Paul Janecek, Mads Jensen, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen
   CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2001, pp:71-80 [Conf]
   
7. Slavek Bulach, Anton Brauchle, Hans-Jörg Pfleiderer, Zdenek Kucerovsky
   Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2001, pp:81-100 [Conf]
   
8. Søren Christensen, Lars Michael Kristensen, Thomas Mailund
   Condensed State Spaces for Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2001, pp:101-120 [Conf]
   
9. Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud
   Unfolding of Products of Symmetrical Petri Nets. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2001, pp:121-143 [Conf]
   
10. Peter Deussen
    Partial Order Verification of Programmable Logic Controllers. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:144-163 [Conf]
    
11. Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva
    Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:164-183 [Conf]
    
12. Marian V. Iordache, Panos J. Antsaklis
    Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:184-203 [Conf]
    
13. Hanna Klaudel, Franck Pommereau
    A Concurrent Semantics of Static Exceptions in a Parallel Programming Language. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:204-223 [Conf]
    
14. Michael Köhler, Daniel Moldt, Heiko Rölke
    Modelling the Structure and Behaviour of Petri Net Agents. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:224-241 [Conf]
    
15. Timo Latvala
    Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:242-262 [Conf]
    
16. Glenn Lewis, Charles Lakos
    Incremental State Space Construction for Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:263-282 [Conf]
    
17. Marko Mäkelä
    Optimising Enabling Tests and Unfoldings of Algebraic System Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:283-302 [Conf]
    
18. Olga Marroquín Alonso, David de Frutos-Escrig
    Extending the Petri Box Calculus with Time. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:303-322 [Conf]
    
19. Wojciech Penczek, Agata Pólrola
    Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:323-342 [Conf]
    
20. Carsten Rust, Jürgen Tacken, Carsten Böke
    Pr/T-Net Based Seamless Design of Embedded Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:343-362 [Conf]
    
21. L. J. Steggles
    Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:363-381 [Conf]
    
22. Walter Vogler
    Partial S-Invariants for the Verification of Infinite Systems Families. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2001, pp:382-402 [Conf]