Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data.