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

Fernando Rosa-Velardo, Giorgio Delzanno

Browse the full LATA paper archive.