Trace nets and process automata
type: Item
instance of: scholarly article
title: Trace nets and process automata
zbMATH Open document ID: 0831.68067
DOI: 10.1007/BF01186645
published in: Acta Informatica
publication date: 1996-02-13T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 818361
zbMATH Keywords: trace nets
zbMATH Keywords: Petri Nets
author: Eric Badouel
author: Philippe Darondeau
MaRDI profile type: Publication
cites work: Q3325067
cites work: Q3805920
cites work: Q4288284
cites work: Q4038716
cites work: Q5639839
cites work: A calculus of communicating systems
cites work: PETRI NETS AND STEP TRANSITION SYSTEMS
cites work: Elementary transition systems
description: scientific article; zbMATH DE number 818361