 | 2009 |
|---|
| 15 |       | Franck Pommereau,
Raymond R. Devillers,
Hanna Klaudel:
Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters.
Electr. Notes Theor. Comput. Sci. 239: 119-129 (2009) |
| 2008 |
|---|
| 14 | | Hanna Klaudel,
Maciej Koutny,
Elisabeth Pelz,
Franck Pommereau:
Towards Efficient Verification of Systems with Dynamic Process Creation.
ICTAC 2008: 186-200 |
| 13 | | Roland Bouroulet,
Raymond R. Devillers,
Hanna Klaudel,
Elisabeth Pelz,
Franck Pommereau:
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.
Petri Nets 2008: 72-91 |
| 12 | | Franck Pommereau:
Quickly prototyping petri nets tools with SNAKES.
SimuTools 2008: 17 |
| 11 | | Hanna Klaudel,
Franck Pommereau:
M-nets: a survey.
Acta Inf. 45(7-8): 537-564 (2008) |
| 2007 |
|---|
| 10 | | Franck Pommereau:
Versatile boxes: a multi-purpose algebra of high-level Petri nets.
SCSC 2007: 665-672 |
| 2004 |
|---|
| 9 | | Franck Pommereau:
Petri Nets as Executable Specifications of High-Level Timed Parallel Systems.
International Conference on Computational Science 2004: 322-330 |
| 2003 |
|---|
| 8 | | Franck Pommereau:
Causal Time Calculus.
FORMATS 2003: 260-272 |
| 7 | | Raymond R. Devillers,
Hanna Klaudel,
Maciej Koutny,
Franck Pommereau:
Asynchronous Box Calculus.
Fundam. Inform. 54(4): 295-344 (2003) |
| 2002 |
|---|
| 6 | | Raymond R. Devillers,
Hanna Klaudel,
Maciej Koutny,
Franck Pommereau:
An Algebra of Non-safe Petri Boxes.
AMAST 2002: 192-207 |
| 5 | | Cécile Bui Thanh,
Hanna Klaudel,
Franck Pommereau:
Petri nets with causal time for system verification.
Electr. Notes Theor. Comput. Sci. 68(5): (2002) |
| 4 |  | Hanna Klaudel,
Franck Pommereau:
A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems.
Fundam. Inform. 50(1): 33-55 (2002) |
| 2001 |
|---|
| 3 | | Hanna Klaudel,
Franck Pommereau:
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language.
ICATPN 2001: 204-223 |
| 2000 |
|---|
| 2 | | Hanna Klaudel,
Franck Pommereau:
A Concurrent and Compositional Petri Net Semantics of Preemption.
IFM 2000: 318-337 |
| 1999 |
|---|
| 1 | | Hanna Klaudel,
Franck Pommereau:
Asynchronous Links in the PBC and M-Nets.
ASIAN 1999: 190-200 |
