J. Lilius. On the Compositionality and Analysis of Algebraic High-Level Nets. Technical Report 16, Digital Systems Laboratory, Helsinki University of Technology, 1991.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....is now widely used in several computer science domains. ffl Petri Nets Category theory is now commonly used inside the Petri net community, essentially to give a semantics to Petri Nets and to all possible extensions of Petri Nets, for composing (by fusion or refinement) two or more petri nets [8, 17, 20, 15]. ffl Programming Languages, Logic Programming language specification and semantics, lambda calculus, etc. are more and more investigated under a categorical point of view. For transition systems: the observation starts from considering that the states of the transition system are the objects of ....

J. Lilius. On the Compositionality and Analysis of Algebraic High-Level Nets. Technical Report 16, Digital Systems Laboratory, Helsinki University of Technology, 1991.

....construction can be used to transform a net so that is has a deadlock preserving skeleton. 2 The Categories PetriG and AN The aim of this section is to brieAEy review the basic de nitions used in section 3. Most of the de nitions and results have appeared before (see e.g. Dimitrovici et al. 1991, Lilius 1991)) We will de ne the category of Petri Nets, the category of Algebraic Nets and some functors between these. As the category of low level nets we use a modi ed version of the category of Petri nets originally introduced by Meseguer and Montanari (1990) The dioeerence is in the notion of morphism. ....

Lilius, J.: 1991, On the compositionality and analysis of algebraic high-level nets, Research Report A16, Digital Systems Laboratory.

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