Modular construction and partial order semantics of Petri nets
From MaRDI portal
Recommendations
Cited in
(56)- A compositional framework to the specification of service protocols controllability and substitutability
- Trace- and failure-based semantics for responsiveness
- M-nets: a survey
- Executability of scenarios in Petri nets
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
- Fair testing
- Convolution and concurrency
- Timed testing of concurrent systems
- Stubborn Sets, Frozen Actions, and Fair Testing
- A model of context-dependent component connectors
- Firing partial orders in a Petri net
- Non sequential semantics for contextual P/T nets
- Synthesis and Analysis of Petri Nets from Causal Specifications
- scientific article; zbMATH DE number 1836392 (Why is no real title available?)
- A fully abstract semantics for termination in Petri nets
- Fast asynchronous systems in dense time
- Simple Composition of Nets
- Projection approaches to process mining using region-based techniques
- Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
- Undecidability of bisimilarity for Petri nets and some related problems
- Faster asynchronous systems.
- Undecidability of accordance for open systems with unbounded message queues
- Asynchronous communication of Petri nets and the refinement of transitions
- Behavioural characterizations of partial order logics
- Generating Posets Beyond N
- A Myhill-Nerode theorem for higher-dimensional automata
- Ensuring liveness properties of distributed systems: open problems
- Truly concurrent constraint programming
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
- Relating fair testing and accordance for service replaceability
- Languages of higher-dimensional automata
- A theory of implementation and refinement in timed Petri nets
- Nonprimitive recursive complexity and undecidability for Petri net equivalences
- Pomset Languages of Finite Step Transition Systems
- Partial order semantics and read arcs
- Refinement of synchronizable places with multi-workflow nets. Weak termination preserved!
- Failures semantics and deadlocking of modular Petri nets
- Fairness of actions in system computations
- Deciding Substitutability of Services with Operating Guidelines
- scientific article; zbMATH DE number 4064501 (Why is no real title available?)
- Petri net reactive modules
- Causality and true concurrency: A data-flow analysis of the Pi-Calculus
- Encoding Asynchronous Interactions Using Open Petri Nets
- A trace-based service semantics guaranteeing deadlock freedom
- Posets with interfaces as a model for concurrency
- Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets
- The limit of \(\operatorname{split}_n\)-language equivalence
- Causality in bounded Petri nets is MSO definable
- Error-pruning in interface automata
- A process algebra with distributed priorities
- Truly concurrent constraint programming
- A linear-time-branching-time spectrum for behavioral specification theories
- Fairness and partial order semantics
- A partial trace semantics for Petri nets
- On Finite Bases for Weak Semantics: Failures Versus Impossible Futures
- Modal Open Petri Nets
This page was built for publication: Modular construction and partial order semantics of Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q396979)
