In: 9: Journal of Information Processing and Cybernetics (EIK), Vol. 26, No. 8, pages 461-472. 1990.
Abstract: This articel presents two approaches of specification for the behaviour of distributed systems: the net-theoretical one and the logical one. The interrelation between these models are discussed: in the case of sequential behaviour, strong characterization theorems are obtained, in the concurrent case, only the definability of net behaviour in terms of logical formulas can be given.
Keywords: logic; sequential (and) concurrent behaviour; distributed system.