Modeling of Distributed Problem Solving using Logic Modified Petri Nets. - Antonella Di Stefano; Fabio Gibilisco; Orazio Mirabella (Specification and Verification of Concurrent Systems, 1988)