Pierre Chambart, Alain Finkel, Sylvain Schmitz. Forward Analysis and Model Checking for Trace Bounded WSTS. In Lars M. Kristensen, Laure Petrucci, editors, Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings. Volume 6709 of Lecture Notes in Computer Science, pages 49-68, Springer, 2011. [doi]
Abstract is missing.