Truly concurrent and nondeterministic semantics of discrete-time elementary net systems

MaRDI QIDQ5234588zbMATH OpenFDO

Authors Irina Bonaventurovna Virbitskaĭte, A. V. Bystrov

Publication date 27 September 2019

Full work available at URL http://www.ict.nsc.ru/jct/annotation/1575?l=eng

zbMATH Keywords

nondeterministic semanticstimed causal netstimed event structurestimed Petri netstimed step sequencestruly concurrent semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• ``Truly concurrent and nondeterministic semantics of discrete-time Petri nets
• scientific article; zbMATH DE number 994050
• scientific article; zbMATH DE number 3974312
• Non sequential semantics for contextual P/T nets
• scientific article; zbMATH DE number 1556864

Cited in

(2)

• ``Truly concurrent and nondeterministic semantics of discrete-time Petri nets
• scientific article; zbMATH DE number 1263852 (Why is no real title available?)

This page was built for publication: Truly concurrent and nondeterministic semantics of discrete-time elementary net systems

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