Text this: Ad Hoc systems management and specification with distributed Petri Nets.