Transition-systems, event structures, and unfoldings

Nielsen, M. ; Rozenberg, G. ; Thiagarajan, P. S. (1995) Transition-systems, event structures, and unfoldings Information and Computation, 118 (2). pp. 191-207. ISSN 0890-5401

Full text not available from this repository.

Official URL:

Related URL:


A subclass of transition systems called elementary transition systems can be identified with the help of axioms based on a structural notion called regions. Elementary transition systems have been shown to be the transition system model of a basic system model of net theory called elementary net systems. Here we show that by smoothly strengthening the regional axioms for elementary transition systems, one obtains a subclass called occurrence transition system. We then prove that occurrence transition systems are the transition system model of yet another basic model of concurrency, namely, prime event structures. We then propose an operation of unfolding elementary transition systems into occurrence transition systems, We prove that it is "correct" in a strong categorical sense.

Item Type:Article
Source:Copyright of this article belongs to Elsevier Science.
ID Code:50501
Deposited On:25 Jul 2011 11:44
Last Modified:25 Jul 2011 11:44

Repository Staff Only: item control page