Non-interference assessment in bounded Petri nets via Integer Linear Programming.

Francesco Basile Gianmaria De Tommasi

Published in: ACC (2018)

Keyphrases

petri net
integer linear programming
column generation
petri net model
discrete event systems
ims ld
global constraints
service composition
colored petri nets
cutting plane
fuzzy petri net
stochastic petri net
programmable logic controller
integer program
state machines
concurrent systems