Conferences in DBLP

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

1. Gul Agha
   Modeling Concurrent Systems: Actors, Nets, and the Problem of Abstraction and Composition. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1996, pp:1-10 [Conf]
   
2. Tadao Murata
   Temporal Uncertainty and Fuzzy-Timing High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1996, pp:11-28 [Conf]
   
3. Antti Valmari
   Compositionality in State Space Verification Methods. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1996, pp:29-56 [Conf]
   
4. Kamel Barkaoui, Jean-François Pradat-Peyre
   On Liveness and Controlled Siphons in Petri Nets. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1996, pp:57-72 [Conf]
   
5. Mohamed-Lyes Benalycherif, Claude Girault
   Behavioural and Structural Composition Rules Preserving Liveness by Synchronization for Colored FIFO Nets. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1996, pp:73-92 [Conf]
   
6. Krzysztof Bilinski, Erik L. Dagless
   High Level Synthesis of Synchronous Parallel Controllers. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1996, pp:93-112 [Conf]
   
7. Nadia Busi, G. Michele Pinna
   Non Sequential Semantics for Contextual P/T Nets. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1996, pp:113-132 [Conf]
   
8. Susanna Donatelli, Giuliana Franceschinis
   The PSR Methodology: Integrating Hardware and Software Models. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1996, pp:133-152 [Conf]
   
9. D. J. Floreani, Jonathan Billington, A. J. Dadej
   Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1996, pp:153-171 [Conf]
   
10. Reinhard German, Aad P. A. van Moorsel, Muhammad A. Qureshi, William H. Sanders
    Expected Impulsive Rewards in Markov Regenerative Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:172-191 [Conf]
    
11. Serge Haddad, Patrice Moreaux
    Asynchronous Composition of High Level Petri Nets: A Quantitative Approach. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:192-211 [Conf]
    
12. Xudong He
    A Formal Definition of Hierarchical Predicate Transition Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:212-229 [Conf]
    
13. Kunihiko Hiraishi
    Reducted State Space Representation for Unbounded Vector State Spaces. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:230-248 [Conf]
    
14. Jens Bæk Jørgensen, Kjeld Høyer Mortensen
    Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:249-268 [Conf]
    
15. Peter Kemper
    Reachability Analysis Based on Structured Representations. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:269-288 [Conf]
    
16. Ekkart Kindler, Rolf Walter
    Arc-Typed Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:289-306 [Conf]
    
17. Bernd Kleinjohann, E. Kleinjohann, Jürgen Tacken
    The SEA Language for System Engineering and Animation. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:307-326 [Conf]
    
18. Werner Knaup
    A New Iterative Numerical Solution Algorithm for a Class of Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:327-345 [Conf]
    
19. Alex Kondratyev, Michael Kishinevsky, Alexander Taubin, Sergei Ten
    A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:346-365 [Conf]
    
20. Andrei Kovalyov
    An O(|S|×|T|)- Algorithm to Verify if a Net is Regular. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:366-379 [Conf]
    
21. Charles Lakos
    The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:380-399 [Conf]
    
22. Jens Linneberg Rasmussen, Mejar Singh
    Designing a Security System by Means of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:400-419 [Conf]
    
23. Libero Nigro, Francesco Pupo
    Modeling and Analysing DART Systems Through High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:420-439 [Conf]
    
24. Laura Recalde, Enrique Teruel, Manuel Silva
    {SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:440-459 [Conf]
    
25. Kim Sunesen, Mogens Nielsen
    Behavioural Equivalence for Infinite Systems - Partially Decidable! [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:460-479 [Conf]
    
26. Jaap van Oosten
    Topological Aspects of Traces. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:480-496 [Conf]
    
27. Victor Varshavsky, Vyacheslav Marakhovsky
    Asynchronous Control Device Design by Net Model Behavior Simulation. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:497-515 [Conf]
    
28. François Vernadat, Pierre Azéma, François Michel
    Covering Step Graph. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:516-535 [Conf]
    
29. Jun Yuan, Lilin Liu, Zhanqiu Dong
    Performance Analysis of a Connection Management Scheme in IWU Interconnecting LANs Across ATM Networks. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:536-548 [Conf]