Winkowski, J., A Representation of Processes of Petri Nets by Matrices, Fundamenta Informaticae 30 (1) (1997), pp.97-107  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Processes of Contextual Nets and their Characteristics - Winkowski (1998) Self-citation (Winkowski) (Correct)
....of tables, interchange of tables, homomorphism. 1. Introduction In [DMM 89] the authors defined concatenable processes of Place Transition Petri nets and operations of sequential and parallel composition of such processes. Under these operations, the processes of each net formed an algebra. In [Wnk 97] the author defined matrix like characteristics of concatenable processes of the above nets and introduced operations on these characteristics that made the correspondence between processes and their characteristics a homomorphism. In the present paper we extend the definitions and results of ....
....defined matrix like characteristics of concatenable processes of the above nets and introduced operations on these characteristics that made the correspondence between processes and their characteristics a homomorphism. In the present paper we extend the definitions and results of [DMM 89] and [Wnk 97] to contextual nets similar to those in [MR 95] cf. also [BP 96] and [Ris 94] Contextual nets are models of concurrent systems with context dependent actions. A contextual net is shown in figure 1. Circles represent places in which some resources, called tokens, may reside. Boxes represent ....
Winkowski, J., A Representation of Processes of Petri Nets by Matrices, Fundamenta Informaticae 30 (1) (1997), pp.97-107
A Representation Of Processes Of Contextual Nets By Matrices - Winkowski (1997) Self-citation (Winkowski) (Correct)
....macierzy odpowiadajacych procesom danej sieci. Umozliwia to reprezentowanie proces ow sieci kontekstowych ich macierzami. Key words: Contextual net, process, sequential composition, parallel composition, interchange, partitioned matrix, multiplication, juxtaposition. 3 4 1 Introduction In [Wnk 96] it has been shown that processes of Place Transition Petri nets can be represented without a loss of information by matrices over semirings generated freely by the corresponding sets of transition symbols and that natural operations of composing processes sequentially and in parallel convert ....
....by names of places into one element submatrices. Since imaginary actions of creating forward copies and destroying backward copies of context tokens are omitted, the same matrix corresponds to the process 2 ; ae 2 of the second type in figure 7. Figure 10 G A A 0 H ff fl ff fffl In [Wnk 96] it has been shown that in the case of context free net the correspondence between net processes and their partitioned matrices is compositional in the sense that the matrix corresponding to the result of concatenating or composing in parallel two processes can be obtained by respectively ....
Winkowski, J., A Representation of Processes of Petri Nets by Matrices, Institute of Computer Science of the Polish Academy of Sciences, Technical Report 807, July 1996
Processes of Contextual Nets and Their Characteristics - Winkowski (1998) Self-citation (Winkowski) (Correct)
....of tables, interchange of tables, homomorphism. 1. Introduction In [DMM 89] the authors defined concatenable processes of Place Transition Petri nets and operations of sequential and parallel composition of such processes. Under these operations, the processes of each net formed an algebra. In [Wnk 97] the author defined matrix like characteristics of concatenable processes of the above nets and introduced operations on these characteristics that made the correspondence between processes and their characteristics a homomorphism. In the present paper we extend the definitions and results of ....
....defined matrix like characteristics of concatenable processes of the above nets and introduced operations on these characteristics that made the correspondence between processes and their characteristics a homomorphism. In the present paper we extend the definitions and results of [DMM 89] and [Wnk 97] to contextual nets similar to those in [MR 95] cf. also [BP 96] and [Ris 94] Contextual nets are models of concurrent systems with context dependent actions. A contextual net is shown in figure 1. Circles represent places in which some resources, called tokens, may reside. Boxes represent ....
Winkowski, J., A Representation of Processes of Petri Nets by Matrices, Fundamenta Informaticae 30 (1) (1997), pp.97-107
A Partial Order Representation of Processes of Contextual Nets - Winkowski (1997) Self-citation (Winkowski) (Correct)
....in figure 7. Figure 10 G A A 0 H ff fl ff fffl Partitioned matrices corresponding to processes are important characteristics of the respective processes. For example, they help to evaluate delays with which resulting tokens are obtained from initial ones for given durations of transitions. In [Wnk 96] it has been shown that in the case of context free net the correspondence between net processes and their partitioned matrices is compositional 12 in the sense that the matrix corresponding to the result of concatenating or composing in parallel two processes can be obtained by respectively ....
Winkowski, J., A Representation of Processes of Petri Nets by Matrices, Institute of Computer Science of the Polish Academy of Sciences, Technical Report 807, July 1996 27
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