Vogler, W. (1990), Failures Semantics of Petri Nets and the Refinement of Places and Transitions, Technical Report TUM-I9003, Institut fur Informatik, Technische Universitat Munchen. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Zero-Safe Nets: Comparing the Collective and Individual.. - Bruni, Montanari (11 citations) (Correct)
....is that the behaviour of the refined net is in some sense consistent with the one of the original net. In general some constraints must be assumed on the daughter net M to accomplish the expected behavioural consistency, as e.g. in (Vogler 1987; Valette 1979; Suzuki and Murata 1983) In Vogler (1990), the refinement of places (as opposed to the refinement of transition) is considered, in the context of a general synchronization operator on nets which composes nets by merging transitions. A different and appealing idea is elaborated in (Kiehn 1989; Kiehn 1990) where transitions can be ....
Vogler, W. (1990), Failures Semantics of Petri Nets and the Refinement of Places and Transitions, Technical Report TUM-I9003, Institut fur Informatik, Technische Universitat Munchen.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC