Decidability and complexity of Petri nets with unordered data.

Fernando Rosa-Velardo David de Frutos-Escrig

Published in: Theor. Comput. Sci. (2011)

Keyphrases

petri net
data analysis
data processing
metadata
description logics
human subjects
hardware and software
service composition
correlation analysis
discrete event systems