Timed Petri nets: Classification and comparative analysis

MaRDI QIDQ1175886zbMATH OpenFDO

Authors I. I. Bestuzheva, V. V. Rudnev

Publication date 25 June 1992

Published in Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

timed Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(2)

• Timed Petri nets and temporal linear logic
• Coordination: Reo, Nets, and Logic

This page was built for publication: Timed Petri nets: Classification and comparative analysis

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