See this document in CiteSeerX!

A Representation Of Processes Of Petri Nets By Matrices (1996)  (Make Corrections)  (4 citations)
Józef Winkowski
Fundamenta Informaticae



  Home/Search   Context   Related

 
View or download:
ipipan.waw.pl/~wink/m6.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ipipan.waw.pl/~wink/winkowski (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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