(Enter summary)
Abstract: . Streszczenie
A correspondence between processes of Petri nets and partitioned matrices over
freely generated semirings is described. This correspondence implies a correspondence
between operations of composing processes sequentially and in parallel and
operations of multiplying and juxtaposing the respective partitioned matrices,
which results in a characterization of partitioned matrices corresponding to processes
of a given net and, consequently, allows one to represent processes by their... (Update)
Context of citations to this paper: More
...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...
...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...
Cited by: More
Processes of Contextual Nets and their Characteristics - Winkowski (1998)
(Correct)
A Representation Of Processes Of Contextual Nets By Matrices - Winkowski (1997)
(Correct)
Processes of Contextual Nets and Their Characteristics - Winkowski (1998)
(Correct)
Similar documents (at the sentence level):
22.5%: A Partial Order Representation of Processes of Contextual Nets - Winkowski (1997)
(Correct)
Active bibliography (related documents): More All
0.2: A Description of Processes of Timed Petri Nets - Winkowski
(Correct)
0.2: Concatenable weighted pomsets and their applications to.. - Winkowski (1996)
(Correct)
0.1: Two Algebraic Process Semantics for Contextual Nets - Bruni, Sassone (2001)
(Correct)
Similar documents based on text: More All
2.3: A Multi-Agent System For Distributed Job And Resource Management - Winkowski (1999)
(Correct)
1.2: An Algebra Of Data Flows - Winkowski (1999)
(Correct)
1.0: Resource Management In A Distributed Multi-Agent System - Winkowski (2000)
(Correct)
Related documents from co-citation: More All
4: Petri nets are monoids: A new algebraic foundation for net theory (context) - Meseguer, Montanari - 1988
4: Sequential and concurrent behaviour in Petri net theory (context) - Best, Devillers - 1987
4: Acta Informatica (context) - Montanari, Rossi - 1995
BibTeX entry: (Update)
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 http://citeseer.ist.psu.edu/winkowski96representation.html More
@article{ winkowski97representation,
author = "Jozef Winkowski",
title = "A Representation of Processes of Petri Nets by Matrices",
journal = "Fundamenta Informaticae",
volume = "30",
number = "1",
pages = "97-107",
year = "1997",
url = "citeseer.ist.psu.edu/winkowski96representation.html" }
Citations (may not include all citations):
59
The Non-sequential Behaviour of Petri Nets (context) - Goltz, Reisig - 1983
57
Petri Net Models for Algebraic Theories of Concurrency (context) - van Glabbeek, Vaandrager - 1987
55
Sequential and Concurrent Behaviour in Petri Net Theory (context) - Best, Devillers - 1987
49
Petri Nets (context) - Reisig - 1985
47
Information and Computation (context) - Winskel - 1987
32
Axiomatizing Net Computations and Processes (context) - Degano, Meseguer et al. - 1989
17
Elements of General Net Theory (context) - Genrich, Lautenbach et al. - 1980
14
Petri Nets Are Monoids: A New Algebraic Foundation for Net T.. (context) - Meseguer, Montanari - 1988
6
Tracing Causality in Distributed Systems (context) - Ferrari, Montanari et al. - 1991
4
Concatenable Weighted Pomsets and Their Applications to Mode..
- Winkowski - 1985
Documents on the same site (http://www.ipipan.waw.pl/~wink/winkowski.htm): More
A Partial Order Representation of Processes of Contextual Nets - Winkowski (1997)
(Correct)
Processes of Timed Petri Nets - Winkowski
(Correct)
Modelling Timed Behaviours With The Aid Of Event And.. - Winkowski
(Correct)
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