Title of article
Functorial Models for Petri Nets
Author/Authors
Roberto Bruni، نويسنده , , José Meseguer، نويسنده , , Ugo Montanari، نويسنده , , Vladimiro Sassone، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
30
From page
207
To page
236
Keywords
monoidal categories , partial membership equational logic , concurrent transition systems. , Configuration structures , PT Petri nets , pre-nets , collective/individual token philosophy
Journal title
Information and Computation
Serial Year
2001
Journal title
Information and Computation
Record number
262003
Link To Document