Fuming Wu. Boundedness and Liveness Compositionality for Petri Nets on Trace Monoids. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2007, Las Vegas, Nevada, USA, June 25-28, 2007, Volume 1. pages 257-263, CSREA Press, 2007.
Abstract is missing.