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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=262003
بازگشت