Process semantics of general inhibitor nets

DOI10.1016/J.IC.2003.11.002MaRDI QIDQ598184zbMATH OpenOpenAlexFDO

Authors Jetty Kleijn, Maciej Koutny

Publication date 6 August 2004

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2003.11.002

zbMATH Keywords

Petri netsCausality semanticsOccurrence netsProcessesStep sequencesTheory of concurrencyWeighted inhibitor arcs

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 1696460
• Complete Process Semantics for Inhibitor Nets
• scientific article; zbMATH DE number 1927584
• Infinite Process Semantics of Inhibitor Nets
• scientific article; zbMATH DE number 5506906

Cites work

• scientific article; zbMATH DE number 1696460 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 193318 (Why is no real title available?)
• scientific article; zbMATH DE number 1302042 (Why is no real title available?)
• scientific article; zbMATH DE number 2060760 (Why is no real title available?)
• scientific article; zbMATH DE number 1927584 (Why is no real title available?)
• scientific article; zbMATH DE number 763717 (Why is no real title available?)
• scientific article; zbMATH DE number 1435983 (Why is no real title available?)
• Executions: A new partial-order semantics of Petri nets
• Fundamentals of modelling concurrency using discrete relational structures
• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• On synchronicity and concurrency in Petri nets
• Partial order semantics and read arcs
• Semantics of inhibitor nets
• Sequential and concurrent behaviour in Petri net theory
• Structure of concurrency
• The non-sequential behaviour of Petri nets
• Theory of relations. Transl. from the French by P. Clote
• Unifying Petri nets. Advances in Petri nets

Cited in

(26)

• Relational structures model of concurrency
• On Interval Semantics of Inhibitor and Activator Nets
• Localities in systems with a/sync communication
• Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions
• On interval process semantics of Petri nets with inhibitor arcs
• scientific article; zbMATH DE number 1759628 (Why is no real title available?)
• Processes of membrane systems with promoters and inhibitors
• Processes of Petri nets with range testing
• scientific article; zbMATH DE number 1696460 (Why is no real title available?)
• Transition systems of Elementary Net Systems with inhibitor arcs
• A PO characterisation of reconfiguration
• Executability of scenarios in Petri nets
• Modelling Concurrency with Quotient Monoids
• Causality in extensions of Petri nets
• The mutex paradigm of concurrency
• Non-atomic transition firing in contextual nets
• Interval semantics for Petri nets with inhibitor arcs
• scientific article; zbMATH DE number 1927584 (Why is no real title available?)
• Infinite Process Semantics of Inhibitor Nets
• On occurrence net semantics for petri nets with contacts
• Semantics of inhibitor nets
• Modeling concurrency with interval traces
• Failures: Their Definition, Modelling and Analysis
• Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios
• Modelling concurrency with comtraces and generalized comtraces
• Complete Process Semantics for Inhibitor Nets

This page was built for publication: Process semantics of general inhibitor nets

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