On Adaptive and Behavioral Service-Driven Applications: A Rule-Centric Petri Nets Framework | IEEE Conference Publication | IEEE Xplore