scientific article; zbMATH DE number 4085629

MaRDI QIDQ3815286zbMATH OpenFDO

Authors Vadim E. Kotov, Ludmila A. Cherkasova

Publication date 1987

zbMATH Keywords

derivability of propertiesdescription of generalised processesPetri netsprocess logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4055020
• Nets, Terms and Formulas
• scientific article; zbMATH DE number 4119599
• scientific article; zbMATH DE number 4108157
• scientific article; zbMATH DE number 3958740

Cited in

(4)

• Logical models of the transportation network of a plant with progressive operations
• scientific article; zbMATH DE number 3845063 (Why is no real title available?)
• scientific article; zbMATH DE number 4055020 (Why is no real title available?)
• scientific article; zbMATH DE number 4786 (Why is no real title available?)

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 Q3815286)