Parameterized Petri nets and their application to planning and coordination in intelligent systems | IEEE Journals & Magazine | IEEE Xplore