Conferences in DBLP

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

1. Eike Best, Maciej Koutny
   A Refined View of the Box Algebra. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1995, pp:1-20 [Conf]
   
2. Friedemann Mattern
   Distributed Algorithms and Causally Consistent Observations. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1995, pp:21-22 [Conf]
   
3. Klaus Voss
   Petri Nets for Information Systems Modelling. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1995, pp:23-24 [Conf]
   
4. Kamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet
   On Liveness in Extended non Self-Controlling Nets. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1995, pp:25-44 [Conf]
   
5. Twan Basten, Marc Voorhoeve
   An Algebraic Semantics for Hierarchical P/T Nets. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1995, pp:45-65 [Conf]
   
6. Rémi Bastide, Philippe A. Palanque
   A Petri Net based Environment for the Design of Event-driven Interfaces. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1995, pp:66-83 [Conf]
   
7. Eugenio Battiston, Oliver Botti, E. Crivelli, Fiorella de Cindio
   An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1995, pp:84-102 [Conf]
   
8. Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
   A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)². [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1995, pp:103-120 [Conf]
   
9. Robert Brgan, Denis Poitrenaud
   An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1995, pp:121-140 [Conf]
   
10. Giorgio Bruno, Andrea Castella, Rakesh Agarwal, Mario P. Pescarmona
    CAB: an Environment for Developing Concurrent Application. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:141-160 [Conf]
    
11. Peter Buchholz
    A Notion of Equivalence for Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:161-180 [Conf]
    
12. Stefano Caselli, Gianni Conte, P. Marenzoni
    Parallel State Space Exploration for GSPN Models. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:181-200 [Conf]
    
13. Søren Christensen, Laure Petrucci
    Modular State Space Analysis of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:201-217 [Conf]
    
14. Luís Gomes, Adolfo Steiger-Garção
    Programmable Controller Design based on a Synchronized Colored Petri Net Model and Integrated Fuzzy Reasoning. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:218-237 [Conf]
    
15. Serge Haddad, Jean-Michel Ilié, Mohamed Taghelit, Belhassen Zouari
    Symbolic Reachability Graph and Partial Symmetries. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:238-257 [Conf]
    
16. Joost-Pieter Katoen
    Causal Behaviours and Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:258-277 [Conf]
    
17. Charles Lakos
    From Coloured Petri Nets to Object Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:278-297 [Conf]
    
18. Dong-Ik Lee, Sadatoshi Kumagai, Shinzo Kodama
    Handles and Reachability Analysis of Free Choice Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:298-315 [Conf]
    
19. Zhen Liu
    Performance Bounds for Stochastic Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:316-334 [Conf]
    
20. M. Molla-Hosseini, R. M. Kerr, R. B. Randall, R. B. Platfoot
    An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:335-356 [Conf]
    
21. Henning Reineke
    Subclasses of Recognizable Trace Languages. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:357-373 [Conf]
    
22. Oriol Roig, Jordi Cortadella, Enric Pastor
    Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:374-391 [Conf]
    
23. Karsten Schmidt
    Parameterized Reachability Trees for Algebraic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:392-411 [Conf]
    
24. Stefan Schöf, Michael Sonnenschein, Ralf Wieting
    Efficient Simulation of THOR Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:412-431 [Conf]
    
25. Gerlinde Schreiber
    Functional Equivalences of Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:432-450 [Conf]
    
26. Patrick Sénac, Pierre de Saqui-Sannes, Roberto Willrich
    Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:451-470 [Conf]
    
27. Miklós Telek, Andrea Bobbio
    Markov Regenerative Stochastic Petri Nets with Age Type General Transitions. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:471-489 [Conf]
    
28. Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero
    Timed Processes of Timed Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1995, pp:490-509 [Conf]