Alain Finkel, Jean Goubault-Larrecq. The Theory of WSTS: The Case of Complete WSTS.
Proceedings of the 33rd International Conference on Applications and Theory of Petri Nets (PETRI NETS'12), volume 7347 of Lecture Notes in Computer Science, Hamburg, Germany. Springer, pp.3-31, 2012,
⟨10.1007/978-3-642-31131-4_2⟩.
⟨hal-03189998⟩