-
F. Pommereau. Versatile Boxes: a Multi-Purpose Algebra of High-Level Petri net.
Proc. of DASD'07, SCS/ACM, 2007
-
M. Bamha and G. Hains. An Efficient equi-semi-join Algorithm for Distributed Architectures. . In V. S. Sunderam, G. Dick van Albada, P. M. A. Sloot, and J. Dongarra, editors, International Conference on Computational Science (ICCS 2005), Part II, number 3515 in LNCS, Springer-Verlag, 2005.
-
R. Bouroulet, H. Klaudel, and E. Pelz. A semantics of security protocol language using a class of composable high-level petri nets. In M. Kishinevsky and Ph. Darondeau, editors, Application of Concurrency to System Design, volume 4th ACSD, pages 99-108. IIIE, 2004.
-
Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud: Unfolding of Products of Symmetrical Petri Nets. ICATPN 2001: 121-143
-
Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud, Pierre-André Wacrenier. Data Decision Diagrams for Petri Net Analysis. ICATPN 2002: 101-120
-
F. Gava. Formal Proofs of Functional BSP Programs. Parallel Processing Letters, 13(3):365-376, 2003.
-
F. Loulergue, F. Gava, and D. Billiet. Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction. In V. S. Sunderam, G. Dick van Albada, P. M. A. Sloot, and J. Dongarra, editors, International Conference on Computational Science (ICCS 2005), Part II, number 3515 in LNCS, pages 1046-1054. Springer-Verlag, 2005.
-
Hanna Klaudel and Franck Pommereau. M-nets, a survey. Acta Informatica, À paraître.
|