Compositional Verification of Liveness Property in Inhibitor-arc Connections of Petri Net Systems.

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