scientific article; zbMATH DE number 4028916

MaRDI QIDQ3769976zbMATH OpenFDO

Authors Ursula Goltz

Publication date 1987

zbMATH Keywords

condition/event-systemsPetri netsprocesses 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
• From synchrony to asynchrony
• Coordinate velocity and desynchronization of clocks
• Synchronization of cycles

Cited in

(5)

• Fair relation and modified synchronic distances in a Petri net
• scientific article; zbMATH DE number 3862447 (Why is no real title available?)
• 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

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)