scientific article; zbMATH DE number 4028916

MaRDI QIDQ3769976zbMATH OpenFDO

Authors Ursula Goltz

Publication date 1987

zbMATH Keywords

Petri netscondition/event-systemsprocesses of C/E-systemsS-completionsynchronic distance

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 3990883
• scientific article; zbMATH DE number 3862447
• Synchronization
• Phase synchronization
• Distributed synchrony
• Connectedness and synchronization
• scientific article; zbMATH DE number 1361122
• Coordinate velocity and desynchronization of clocks
• Synchronization of cycles

Cited in

(5)

• scientific article; zbMATH DE number 3990883 (Why is no real title available?)
• scientific article; zbMATH DE number 4076635 (Why is no real title available?)
• Computing the reveals relation in occurrence nets
• scientific article; zbMATH DE number 3862447 (Why is no real title available?)
• Fair relation and modified synchronic distances in a Petri net

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3769976)