In: IEEE Int. Conf. on Syst. Man and Cybernetics, pages 258-263. October 1993.
Abstract: After a short introduction of a Linear logic based representation of Petri nets, the additive connectives are presented as a way of characterizing disjunctive sets of sequences. These connectives are consequently used to represent imprecise firing sequences and it is shown that this notion is consistent with that of imprecise markings. A short example is included.
Back to the Petri Nets Bibliography