Jozef Winkowski  Home/Search
Context
Related
| ipipan.waw.pl/~wink/atcc.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ipipan.waw.pl/~wink/winkowski (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Structures for representing time-consuming computations are introduced and operations of composing such structures sequentially and in parallel are defined. Thus a monoidal category satisfying certain specific axioms of associativity and symmetry is obtained which is generated by a set of indecomposable time-consuming computations and in which the equality of morphisms is provable from axioms. Within this category one can represent behaviours of timed Petri nets. Key words: computation,... (Update)
Active bibliography (related documents): More All
0.4: Concatenable weighted pomsets and their applications to.. - Winkowski (1996) (Correct)
0.2: An Algebraic Characterization of Independence of Petri Net.. - Winkowski (Correct)
0.2: The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
Similar documents based on text: More All
0.5: Processes of Contextual Nets and their Characteristics - Winkowski (1998) (Correct)
0.2: A Partial Order Representation of Processes of Contextual Nets - Winkowski (1997) (Correct)
0.1: Resource Management In A Distributed Multi-Agent System - Winkowski (2000) (Correct)
BibTeX entry: (Update)
@misc{ winkowski-algebra,
author = "Jozef Winkowski",
title = "An Algebra Of Time-Consuming Computations",
url = "citeseer.ist.psu.edu/253564.html" }
Citations (may not include all citations):55 Sequential and Concurrent Behaviour in Petri Net Theory (context) - Best, Devillers - 1987
41 Axiomatizing the Algebra of Net Computations and Processes (context) - Degano, Meseguer et al.
32 Axiomatizing Net Computations and Processes (context) - Degano, Meseguer et al. - 1989
8 Theoretical Computer Science (context) - Winkowski - 1980
4 An Algebraic Description of System Behaviours (context) - Winkowski - 1982
1 Institute of Computer Science of the Polish Academy of Scien.. (context) - Winkowski - 1992
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)
A Representation Of Processes Of Petri Nets By Matrices - Winkowski (1996) (Correct)
Processes of Timed Petri Nets - 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