1. Atif, K. (1992). Modélisation du Parallélisme et de la Synchronisation. PhD thesis, Institut National Polytechnique de Grenoble, Grenoble, France.
2. Baccelli, F., Jean-Marie, A., and Mitrani, I., editors (1995). Quantitative Methods in Parallel Systems, Part I: Stochastic Process Algebras. Basic Research Series. Springer Verlag.
3. Balbo, G., S.Bruell, and Sereno, M. (1994). Arrival theorems for product-form stochastic Petri nets. In Proc. of ACM Sigmetrics Conference,pages 87–97, Nashville.
4. Berge, C. (1970). Graphes et Hypergraphes. Dunod, Paris.
5. Boucherie, R. (1994). A characterization of independence for competing Markov chains with applications to stochastic Petri nets. IEEE Transactions on Soft. Eng, 20: 536–544.