For the most recent entries see the Petri Nets Newsletter.

External Behaviour Equivalence Between Two Petri Nets.

Bourguet-Rouger, A.

In: Vogt, F.H.: Lecture Notes in Computer Science, Vol. 335; Concurrency 88, pages 237-256. Berlin, Heidelberg, New York: Springer-Verlag, 1988.

Abstract: This paper presents a behaviour equivalence between two intrinsically deterministic Petri nets. Each net may have specific transitions and observable transitions. A relation is defined between the obervable transitions of the two nets. The behaviour equivalence which preserves interleaving semantics, consists in allowing that corrresponding observable transitions must be fired in the same order.

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

Back to the Petri Nets Bibliography