For the most recent entries see the Petri Nets Newsletter.

Logic Versus Sequential and Concurrent Behaviour.

Pelz, Elisabeth

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography