Winkowski, J., A Partial Order Representation of Processes of Timed Petri Nets, Institute of Computer Science of the Polish Academy of Sciences, Technical Report 729, September 1993 Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Processes of Timed Petri Nets - Winkowski Self-citation (Winkowski) (Correct)
.... the lapse of time in computations of concurrent programs with time consuming actions can be found in a compositional way, that is without engaging an operational semantics as in [GRS 94] The present paper exploits some ideas of [Wi 80] and [Wi 92] It is an improved and extended synthesis of [Wi 93] Wi 94 1] and [Wi 94 2] 3 2 Concatenable weighted pomsets Processes of timed nets and delay tables will be represented by partially ordered multisets (pomsets in the terminology of [Pra 86] with some extra arrangements of minimal and maximal elements (similar to those in concatenable ....
Winkowski, J., A Partial Order Representation of Processes of Timed Petri Nets, Institute of Computer Science of the Polish Academy of Sciences, Technical Report 729, September 1993
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