A partial trace semantics for Petri nets
type: Item
instance of: scholarly article
title: A partial trace semantics for Petri nets
zbMATH Open document ID: 0823.68058
DOI: 10.1016/0304-3975(94)90280-1
author: Volker Diekert
published in: Theoretical Computer Science
publication date: 1995-01-09T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68M10
zbMATH DE Number: 708722
zbMATH Keywords: partial trace
zbMATH Keywords: Petri nets
MaRDI profile type: Publication
full work available at URL: 0304-3975(94)90280-1
OpenAlex ID: W2019980178
cites work: An extension of the notions of traces and of asynchronous automata
cites work: Partial commutations and faithful rational transductions
cites work: Semi-commutations and rational expressions
cites work: Q3736919
cites work: Combinatorics on traces
cites work: Q4036566
cites work: Q3815533
cites work: Q4347974
cites work: Q3771629
cites work: Q4734770
cites work: Q4741710
cites work: Modular construction and partial order semantics of Petri nets
description: scientific article; zbMATH DE number 708722