Interval traces with mutex relation

DOI10.1007/978-3-031-33620-1_8MaRDI QIDQ6535190zbMATH OpenFDO

Authors Ryszard Janicki, Maciej Koutny, Łukasz Mikulski

Publication date 16 November 2023

Full work available at URL https://doi.org/10.1007/978-3-031-33620-1_8

zbMATH Keywords

inhibitor netinterval orderinterval sequencemutex relationsemantics

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

• Modeling concurrency with interval traces
• Step traces
• Mutex causality in processes and traces of general elementary nets
• Characterising concurrent histories
• Modeling interval order structures with partially commutative monoids

Cites work

• A contribution to the theory of relative position.
• A generalization of traces
• Algebraic structure of combined traces
• Algebraic structure of step traces and interval traces
• Algebraical characterisation of interval-timed Petri nets with discrete delays
• Characterising concurrent histories
• Classifying invariant structures of step traces
• Combinatorial problems of commutation and rearrangements
• Concurrent and maximally concurrent evolution of nonsequential systems
• Concurrent Machines
• Contextual nets
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Goal-oriented reduction of automata networks
• scientific article; zbMATH DE number 5347282 (Why is no real title available?)
• scientific article; zbMATH DE number 4030999 (Why is no real title available?)
• scientific article; zbMATH DE number 3669869 (Why is no real title available?)
• scientific article; zbMATH DE number 107452 (Why is no real title available?)
• scientific article; zbMATH DE number 1302042 (Why is no real title available?)
• scientific article; zbMATH DE number 1302043 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• Interval graphs and interval orders
• Intransitive indifference with unequal indifference intervals
• Modeling concurrency with interval traces
• Modeling interval order structures with partially commutative monoids
• Modelling concurrency with comtraces and generalized comtraces
• Mutex causality in processes and traces of general elementary nets
• Nets, time and space
• Operational semantics, interval orders and sequences of antichains
• Partial order semantics and read arcs
• Petri net semantics of priority systems
• Posets with interfaces as a model for concurrency
• Semantics of inhibitor nets
• Structure of concurrency
• Trajectories and Traces on Non-traditional Regular Tessellations of the Plane

Cited in

(1)

• Modeling concurrency with interval traces

This page was built for publication: Interval traces with mutex relation

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