Partial order semantics and read arcs

DOI10.1016/S0304-3975(01)00234-1MaRDI QIDQ1608891zbMATH OpenOpenAlexFDO

Authors Walter Vogler

Publication date 13 August 2002

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(01)00234-1

zbMATH Keywords

concurrencyinternal orderspartial order semanticsPetri netsSzpilrajn's theorem

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1361506
• scientific article; zbMATH DE number 1301745
• A partial ordering semantics for CCS
• A semantic approach to order-sorted rewriting
• A semantic approach to order-sorted rewriting
• Semantics of order-sorted specifications
• Partial Order Semantics of Types of Nets
• On the semantics of partially ordered bases
• A generalization of ordered-pair semantics
• Semantics and expressiveness of ordered SOS

Cites work

• Betweenness, orders and interval graphs
• Contextual nets
• Efficiency of asynchronous systems and read arcs in petri nets
• scientific article; zbMATH DE number 3825182 (Why is no real title available?)
• scientific article; zbMATH DE number 4030999 (Why is no real title available?)
• scientific article; zbMATH DE number 1189293 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 1223715 (Why is no real title available?)
• scientific article; zbMATH DE number 1304999 (Why is no real title available?)
• scientific article; zbMATH DE number 1354136 (Why is no real title available?)
• scientific article; zbMATH DE number 465527 (Why is no real title available?)
• scientific article; zbMATH DE number 2060760 (Why is no real title available?)
• Modular construction and partial order semantics of Petri nets
• Non sequential semantics for contextual P/T nets
• Semantics of inhibitor nets
• The limit of split\(_ n\)-language equivalence
• Timed testing of concurrent systems

Cited in

(18)

• Boolean networks: beyond generalized asynchronicity
• Interval semantics for Petri nets with inhibitor arcs
• Pomset bisimulation and unfolding for reset Petri nets
• Modeling biological gradient formation: combining partial differential equations and Petri nets
• Classifying invariant structures of step traces
• Non-atomic transition firing in contextual nets
• scientific article; zbMATH DE number 1101601 (Why is no real title available?)
• scientific article; zbMATH DE number 1361506 (Why is no real title available?)
• Algebraic structure of step traces and interval traces
• Modeling concurrency with interval traces
• Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing
• Step traces
• Process semantics of general inhibitor nets
• On Interval Semantics of Inhibitor and Activator Nets
• Concurrency in Boolean networks
• A PO characterisation of reconfiguration
• Interval traces with mutex relation
• Analysis of concurrent systems based on interval order

This page was built for publication: Partial order semantics and read arcs

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