Finite Petri nets as models for recursive causal behaviour

DOI10.1016/0304-3975(94)90058-2MaRDI QIDQ1318729zbMATH OpenOpenAlexFDO

Authors Arend Rensink, Ursula Goltz

Publication date 5 April 1994

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

Full work available at URL https://research.utwente.nl/en/publications/finite-petri-nets-as-models-for-recursive-causal-behaviour(00e17354-dc55-4674-8d2f-5ee3db278039).html

zbMATH Keywords

branching structurecausal dependenciesfailure equivalencefinite Petri netsinterleaving behaviourmodels for recursive causal behaviourtrace equivalence

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4060688
• scientific article; zbMATH DE number 3896316
• Recursive Petri nets
• A coalgebraic semantics for causality in Petri nets
• Language representability of finite P/T nets

Cites work

• Concurrency and atomicity
• Failures semantics based on interval semiwords is a congruence for refinement
• Finite representations of CCS and TCSP programs by automata and Petri nets
• scientific article; zbMATH DE number 3896316 (Why is no real title available?)
• scientific article; zbMATH DE number 3974312 (Why is no real title available?)
• scientific article; zbMATH DE number 4037225 (Why is no real title available?)
• scientific article; zbMATH DE number 4060688 (Why is no real title available?)
• scientific article; zbMATH DE number 4087033 (Why is no real title available?)
• scientific article; zbMATH DE number 3735177 (Why is no real title available?)
• scientific article; zbMATH DE number 193318 (Why is no real title available?)

Cited in

(5)

• Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
• Causality in bounded Petri nets is MSO definable
• Verification of causal models using petri nets
• scientific article; zbMATH DE number 1919472 (Why is no real title available?)
• On the implementation of concurrent calculi in net calculi: two case studies

This page was built for publication: Finite Petri nets as models for recursive causal behaviour

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