A Decomposition Method for Optimal Firing Sequence Problems for First-order Hybrid Petri Nets.

Tatsushi Nishi Kenichi Shimatani Masahiro Inuiguchi

Published in: SMC (2009)

Keyphrases

petri net
decomposition method
discrete event systems
decomposition methods
service composition
decomposition algorithm
optimal solution
first order logic
tree decomposition
state machines
colored petri nets
petri net model