A uniform approach to true-concurrency and interleaving semantics for Petri nets
type: Item
instance of: scholarly article
title: A uniform approach to true-concurrency and interleaving semantics for Petri nets
zbMATH Open document ID: 0917.68159
DOI: 10.1016/S0304-3975(97)00169-2
author: Lutz Priese
author: Harro Wimmel
published in: Theoretical Computer Science
publication date: 1999-01-12T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1238722
zbMATH Keywords: Petri nets
zbMATH Keywords: compositional semantics
zbMATH Keywords: interleaving and true-concurrency models
MaRDI profile type: Publication
cites work: Q4040147
cites work: Four domains for concurrency
cites work: A distributed operational semantics of CCS based on condition/event systems
cites work: Q3795192
cites work: Q3922196
cites work: Remarks on blind and partially blind one-way multicounter machines
cites work: Q3766866
cites work: Q3771629
cites work: Q4260379
cites work: Q3776645
cites work: Q4133144
cites work: Automata and concurrency
cites work: Q3742725
cites work: Q4727440
cites work: Algebraic characterization of petri net pomset semantics
description: scientific article; zbMATH DE number 1238722