Search the dblp DataBase

Publications of Author

1. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
   An Algebra of Non-safe Petri Boxes. [Citation Graph (0, 0)][DBLP]
   AMAST, 2002, pp:192-207 [Conf]
   
2. 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]
   
3. Hanna Klaudel, Franck Pommereau
   Asynchronous Links in the PBC and M-Nets. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1999, pp:190-200 [Conf]
   
4. Franck Pommereau
   Causal Time Calculus. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2003, pp:260-272 [Conf]
   
5. Franck Pommereau
   Petri Nets as Executable Specifications of High-Level Timed Parallel Systems. [Citation Graph (0, 0)][DBLP]
   International Conference on Computational Science, 2004, pp:322-330 [Conf]
   
6. Hanna Klaudel, Franck Pommereau
   A Concurrent and Compositional Petri Net Semantics of Preemption. [Citation Graph (0, 0)][DBLP]
   IFM, 2000, pp:318-337 [Conf]
   
7. Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau
   Petri nets with causal time for system verification. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:68, n:5, pp:- [Journal]
   
8. Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
   Asynchronous Box Calculus. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2003, v:54, n:4, pp:295-344 [Journal]
   
9. Hanna Klaudel, Franck Pommereau
   A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2002, v:50, n:1, pp:33-55 [Journal]
   
10. 
    Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. [Citation Graph (, )][DBLP]
    
    
11. 
    Towards Efficient Verification of Systems with Dynamic Process Creation. [Citation Graph (, )][DBLP]
    
    
12. 
    An approach to state space reduction for systems with dynamic process creation. [Citation Graph (, )][DBLP]
    
    
13. 
    Versatile boxes: a multi-purpose algebra of high-level Petri nets. [Citation Graph (, )][DBLP]
    
    
14. 
    Quickly prototyping petri nets tools with SNAKES. [Citation Graph (, )][DBLP]
    
    
15. 
    M-nets: a survey. [Citation Graph (, )][DBLP]
    
    
16. 
    Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters. [Citation Graph (, )][DBLP]