Analysis of concurrent systems based on interval order

MaRDI QIDQ6939840zbMATH OpenFDO

Authors Xu Yang, Chen Ye

Publication date 20 August 2025

Published in Journal of Multiple-Valued Logic and Soft Computing (Search for Journal in Brave)

Full work available at URL https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-42-number-1-3-2024/mvlsc-42-1-3-p-49-65/

zbMATH Keywords

concurrent systemsinterval orderMazurkiewicz tracesPetri net with data

Mathematics Subject Classification ID

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

Cites work

• Algebraic structure of step traces and interval traces
• Efficient unfolding of contextual Petri nets
• Event structures for Petri nets with persistence
• scientific article; zbMATH DE number 3877239 (Why is no real title available?)
• scientific article; zbMATH DE number 1361116 (Why is no real title available?)
• scientific article; zbMATH DE number 1903382 (Why is no real title available?)
• Modeling concurrency with interval traces
• Modeling operational semantics with interval orders represented by sequences of antichains
• Operational semantics, interval orders and sequences of antichains
• Partial order semantics and read arcs
• Spreading nets: a uniform approach to unfoldings
• Step traces
• Verification of Petri nets with read arcs

Cited in

(1)

• Logical operations for DSS components based on optical fuzzy color computing

This page was built for publication: Analysis of concurrent systems based on interval order

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