Infinite Process Semantics of Inhibitor Nets

DOI10.1007/11767589_16MaRDI QIDQ3618709zbMATH OpenOpenAlexFDO

Authors Maciej Koutny, Jetty Kleijn

Publication date 2 April 2009

Published in Petri Nets and Other Models of Concurrency - ICATPN 2006 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11767589_16

zbMATH Keywords

Petri netsinfinite processesoccurrence netstheory of concurrencycausality semanticsstep sequencesweighted inhibitor arcs

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)

Recommendations

• Complete Process Semantics for Inhibitor Nets
• Process semantics of general inhibitor nets
• Semantics of inhibitor nets
• scientific article; zbMATH DE number 1696460
• scientific article; zbMATH DE number 1435983
• On interval process semantics of Petri nets with inhibitor arcs
• Interval semantics for Petri nets with inhibitor arcs
• scientific article; zbMATH DE number 4076638
• A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes

Cited in

(6)

• Process semantics of general inhibitor nets
• On interval process semantics of Petri nets with inhibitor arcs
• 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?)
• Complete Process Semantics for Inhibitor Nets

Describes a project that uses

Uses Software

• Punf

This page was built for publication: Infinite Process Semantics of Inhibitor Nets

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