scientific article; zbMATH DE number 3917726

MaRDI QIDQ3692883zbMATH OpenFDO

Authors Vadim E. Kotov, Ludmila A. Cherkasova

Publication date 1985

zbMATH Keywords

boundednessconcurrencyconcurrent processescondition/event netsfairnessfree-choicenet densityoccurrence netsparallel processesPetri nets

Mathematics Subject Classification ID

Theory of operating systems (68N25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Structure theorems for generalized random processes
• Some properties for exact generalized processes
• Generalised liouville processes and their properties
• scientific article; zbMATH DE number 3169049
• scientific article; zbMATH DE number 3195735
• scientific article; zbMATH DE number 4034830
• On the structure of stationary stable processes
• Structural properties of the generalized Dirichlet distributions
• Probabilistic properties of generalized stochastic processes in algebras of generalized functions

Cited in

(11)

• An algebra of concurrent non-deterministic processes
• Nested-unit Petri nets
• Structural characterization of taboo-stationarity for general processes in two-sided time.
• Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
• scientific article; zbMATH DE number 3846886 (Why is no real title available?)
• scientific article; zbMATH DE number 3917725 (Why is no real title available?)
• scientific article; zbMATH DE number 3924152 (Why is no real title available?)
• scientific article; zbMATH DE number 4055020 (Why is no real title available?)
• A note on general sliding window processes
• Generalised liouville processes and their properties
• scientific article; zbMATH DE number 971794 (Why is no real title available?)

Describes a project that uses

Uses Software

• CESAR

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