A coalgebraic semantics for causality in Petri nets

Roberto Bruni, Ugo Montanari, Matteo Sammartino

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	853-883
Number of pages	31
Journal	Journal of Logical and Algebraic Methods in Programming
Volume	84
Issue number	6
Early online date	17 Jul 2015
DOIs	https://doi.org/10.1016/j.jlamp.2015.07.003
Publication status	Published - Nov 2015

Keywords

@article{5ff3c3705e8e4991b4ea5db4fc06744e,

title = "A coalgebraic semantics for causality in Petri nets",

keywords = "Behavior structures, Causal case graphs, Coalgebras, HD-automata, Petri nets, Presheaves",

author = "Roberto Bruni and Ugo Montanari and Matteo Sammartino",

year = "2015",

month = nov,

doi = "10.1016/j.jlamp.2015.07.003",

language = "English",

volume = "84",

pages = "853--883",

journal = "Journal of Logical and Algebraic Methods in Programming",

number = "6",

}

TY - JOUR

T1 - A coalgebraic semantics for causality in Petri nets

AU - Bruni, Roberto

AU - Montanari, Ugo

AU - Sammartino, Matteo

PY - 2015/11

Y1 - 2015/11

KW - Behavior structures

KW - Causal case graphs

KW - Coalgebras

KW - HD-automata

KW - Petri nets

KW - Presheaves

U2 - 10.1016/j.jlamp.2015.07.003

DO - 10.1016/j.jlamp.2015.07.003

M3 - Article

AN - SCOPUS:84997610608

VL - 84

SP - 853

EP - 883

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

IS - 6

ER -