Decidability of opacity verification problems in labeled Petri net systems.

Yin Tong Zhiwu Li Carla Seatzu Alessandro Giua

Published in: Autom. (2017)

Keyphrases

knowledge representation
petri net
description logics
expert systems
petri net model
discrete event systems
colored petri nets
manufacturing systems
service composition
production process
decision making
distributed systems
learning systems
complex systems
web service composition
embedded real time systems