Paper: A category of labelled Petri nets and compositional proof system (at LICS 1988)

Authors: Glynn Winskel

Abstract

An attempt is made to cast labeled Petri nets and other models in an algebraic framework. One aim is to utilize the framework of categorical l to cast labeled Petri nets and other models in an algebraic framework. The other aim is to utilize the framework of categorical logic to systematize specification languages and the derivation of proof systems for parallel processes. A category of labeled nets is presented, and its categorical constructions are used to establish a compositional proof system. A category of properties of nets is used in forming the proof system

BibTeX

  @InProceedings{Winskel-Acategoryoflabelled,
    author = 	 {Glynn Winskel},
    title = 	 {A category of labelled Petri nets and compositional proof system },
    booktitle =  {Proceedings of the Third Annual IEEE Symposium on Logic in Computer Science (LICS 1988)},
    year =	 {1988},
    month =	 {July}, 
    pages =      {142--154},
    location =   {Edinburgh, Scotland, UK}, 
    publisher =	 {IEEE Computer Society Press}
  }