Sign in
Compositional Verification of Liveness Property in Inhibitor-arc Connections of Petri Net Systems.
Fei Pu
Published in:
J. Softw. (2012)
Keyphrases
</>
petri net
discrete event systems
petri net model
colored petri nets
high level petri nets
manufacturing systems
complex systems
genetic algorithm
web service composition
concurrent systems
artificial intelligence
learning systems
embedded real time systems