Non-atomic Transition Firing in Contextual Nets

DOI10.1007/978-3-319-19488-2_6zbMath1432.68302OpenAlexW1177522693MaRDI QIDQ2941146

Thomas Chatain, Maciej Koutny, Stefan Haar, Stefan Schwoon

Publication date: 27 August 2015

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: https://eprint.ncl.ac.uk/fulltext.aspx?url=213583/C0B97CF4-36DE-4541-B7F6-FE86C0004236.pdf&pub_id=213583

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)

Related Items (3)

Boolean networks: beyond generalized asynchronicity ⋮ Concurrency in Boolean networks ⋮ Learning any memory-less discrete semantics for dynamical systems represented by logic programs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maintaining knowledge about temporal intervals
• Efficient unfolding of contextual Petri nets
• Process semantics of general inhibitor nets
• Fairness and partial order semantics
• Structure of concurrency
• Relational structures model of concurrency
• Branching processes of Petri nets
• Fundamentals of modelling concurrency using discrete relational structures
• Partial order semantics and read arcs
• Contextual Petri nets, asymmetric event structures, and processes
• Contextual nets
• Step semantics of Boolean nets
• Semantics of inhibitor nets
• Verification of Petri Nets with Read Arcs
• A generalization of traces
• On the semantics of place/transition Petri nets
• Reasoning about temporal relations
• Non sequential semantics for contextual P/T nets
• Causality in Extensions of Petri Nets
• Step Persistence in the Design of GALS Systems
• The mutual exclusion problem

This page was built for publication: Non-atomic Transition Firing in Contextual Nets