A trace semantics for Petri Nets

Hoogers, P. W.; Kleijn, H. C. M.; Thiagarajan, P. S.

doi:10.1007/3-540-55719-9_107

Cited by 20 publications

(14 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In particular, we shall present a category GTL of generalized trace languages which is equivalent to the category dLES of deterministic labelled event structures. We remark that a similar idea of generalizing Mazurkiewicz trace languages has been considered also in [4].…”

Section: Introductionmentioning

confidence: 91%

Deterministic behavioural models for concurrency

Sassone

Nielsen

Winskel

1993

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Extended AbstractThis paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation. The three models are all proved equivalent in the rather strong sense of being equivalent as categories. The models are: deterministic labelled event structures, generalized trace languages in which the independence relation is context-dependent, and deterministic languages of pomsets.

show abstract

Section: Introductionmentioning

confidence: 91%

Deterministic behavioural models for concurrency

Sassone

Nielsen

Winskel

1993

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…The proof of this is rather involved, but may be found in [61], and for more general forms of net systems in [97] and [33].…”

Section: Theorem 29 Td Nt Is the Right Adjoint Of A Coreflection Bementioning

confidence: 99%

Petri nets and other models of concurrency

Nielsen

Sassone

1998

Lectures on Petri Nets I: Basic Models

View full text Add to dashboard Cite

show abstract

“…A really excellent survey is given by Martí-Oliet and Meseguer in [57]. Other relevant approaches are by Mukund [66], which provides an account of net behaviours in terms of (step) transition systems, and by Hoogers et al in [42], that uses (generalised) trace theory (cf. [56,27]) to the same purpose, and in [43], where a notion of net unfolding is explained in terms of a notion of local event structure.…”

Section: Related Workmentioning

confidence: 99%