Advanced Petri Nets and the Fluent Calculus

Steffen Hölldobler, Ferdian Jovan. Advanced Petri Nets and the Fluent Calculus. In Steffen Hölldobler, Andrey Malikov, Christoph Wernhard, editors, Proceedings of the Young Scientists' International Workshop on Trends in Information Processing (YSIP) Co-located with the Sixth International Conference on Infocommunicational Technologies in Science, Production and Education (INFOCOM-6), Stavropol, Russian Federation, April 22-25, 2014. Volume 1145 of CEUR Workshop Proceedings, pages 15-24, CEUR-WS.org, 2014. [doi]

Abstract

Abstract is missing.