Non-atomic Transition Firing in Contextual Nets

DOI10.1007/978-3-319-19488-2_6zbMath1432.68302MaRDI 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

68Q55: Semantics in the theory of computing

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

Related Items

Concurrency in Boolean networks, Boolean networks: beyond generalized asynchronicity, 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