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

Fernando Rosa Velardo, Giorgio Delzanno. Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data. In Adrian Horia Dediu, Henning Fernau, Carlos Martín-Vide, editors, Language and Automata Theory and Applications, 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings. Volume 6031 of Lecture Notes in Computer Science, pages 524-535, Springer, 2010. [doi]

Abstract

Abstract is missing.