Modeling shared resources with generalized synchronization within a Petri net bottom-up approach

Luca Ferrarini, Massimo Trioni. Modeling shared resources with generalized synchronization within a Petri net bottom-up approach. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 26(4):653-659, 1996. [doi]

Abstract

Abstract is missing.