scientific article; zbMATH DE number 4060688
From MaRDI portal
Publication:3795192
Recommendations
- Finite representations of CCS and TCSP programs by automata and Petri nets
- Representing CCS programs by finite predicate-transition nets
- scientific article; zbMATH DE number 3896316
- scientific article; zbMATH DE number 591002
- scientific article; zbMATH DE number 4001494
- On the finite containment problem for Petri nets
- scientific article; zbMATH DE number 4037225
- Extensions to the CEGAR approach on Petri nets
Cited in
(35)- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
- Representing CCS programs by finite predicate-transition nets
- Branching processes of Petri nets
- Finite representations of CCS and TCSP programs by automata and Petri nets
- Operational and denotational semantics for the box algebra
- A uniform approach to true-concurrency and interleaving semantics for Petri nets
- Finite Petri nets as models for recursive causal behaviour
- Nested-unit Petri nets
- Concurrent bisimulations in Petri nets
- An operational Petri net semantics for \(\text{A}^{2}\text{CCS}\)
- Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
- scientific article; zbMATH DE number 4018373 (Why is no real title available?)
- Structure preserving bisimilarity, supporting an operational Petri net semantics of CCSP
- Language representability of finite P/T nets
- Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
- scientific article; zbMATH DE number 3896316 (Why is no real title available?)
- scientific article; zbMATH DE number 4037225 (Why is no real title available?)
- scientific article; zbMATH DE number 4074504 (Why is no real title available?)
- scientific article; zbMATH DE number 44349 (Why is no real title available?)
- scientific article; zbMATH DE number 591002 (Why is no real title available?)
- Solving recursive net equations
- scientific article; zbMATH DE number 1435987 (Why is no real title available?)
- A process calculus for expressing finite place/transition Petri nets
- An algebraic semantics for hierarchical P/T nets
- Functional equivalences of Petri nets
- Causality and true concurrency: A data-flow analysis of the Pi-Calculus
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets
- Step failures semantics and a complete proof system
- Compositional process semantics of Petri Boxes
- An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
- Concurrent hyperproperties
- A multiset semantics for the pi-calculus with replication
- Concurrent -hyperproperties
- Failures semantics based on interval semiwords is a congruence for refinement
- Some behavioural aspects of net theory
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3795192)
