Recommendations
Cites work
Cited in
(59)- McMillan’s Complete Prefix for Contextual Nets
- Concurrency for Graph Grammars in a Petri net shell
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description
- Interval traces with mutex relation
- Pomset bisimulation and unfolding for reset Petri nets
- The Complexity of Synthesis of b-Bounded Petri Nets
- scientific article; zbMATH DE number 7147446 (Why is no real title available?)
- Non sequential semantics for contextual P/T nets
- On Interval Semantics of Inhibitor and Activator Nets
- Efficiency of asynchronous systems and read arcs in petri nets
- Partial order semantics and read arcs
- scientific article; zbMATH DE number 4041346 (Why is no real title available?)
- Rewriting logic as a semantic framework for concurrency: a progress report
- scientific article; zbMATH DE number 1231483 (Why is no real title available?)
- Event structures for Petri nets with persistence
- On interval process semantics of Petri nets with inhibitor arcs
- A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems
- Synthesis of nets with inhibitor arcs
- Transition systems of Elementary Net Systems with inhibitor arcs
- Contextual occurrence nets and concurrent constraint programming
- scientific article; zbMATH DE number 1189293 (Why is no real title available?)
- scientific article; zbMATH DE number 2215516 (Why is no real title available?)
- Executability of scenarios in Petri nets
- Unfolding semantics of graph transformation
- Branching cells for asymmetric event structures
- A framework for the verification of infinite-state graph transformation systems
- Timed Petri nets and timed automata: On the discriminating power of Zeno sequences
- The complexity of synthesizing \textsf{nop}-equipped Boolean Petri nets from \(g\)-bounded inputs
- Just testing
- Comparing three semantics for Linda-like languages
- On the parameterized complexity of the synthesis of Boolean nets with restricted place environments
- Non-atomic transition firing in contextual nets
- An abstract machine for concurrent modular systems: CHARM
- Analysis issues in Petri nets with inhibitor arcs
- Interval semantics for Petri nets with inhibitor arcs
- Mobile Petri nets
- Efficiency of Token-Passing MUTEX-Solutions — Some Experiments
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
- Time and Fairness in a Process Algebra with Non-blocking Reading
- Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
- Catalytic and communicating Petri nets are Turing complete
- Contextual Petri nets, asymmetric event structures, and processes
- Domain and event structure semantics for Petri nets with read and inhibitor arcs
- A reversible perspective on Petri nets and event structures
- On the expressiveness of Linda coordination primitives.
- Models and emerging trends of concurrent constraint programming
- Computational Science - ICCS 2004
- On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
- Asynchronous traces and open Petri nets
- A new operational representation of dependencies in event structures
- Normal forms for algebras of connections.
- A Petri net view of covalent bonds
- Unifying Petri nets with restricted occurrence rule using partial algebra
- Step semantics of Boolean nets
- Modeling biological gradient formation: combining partial differential equations and Petri nets
- Relating reversible Petri nets and reversible event structures, categorically
- Modeling concurrency with interval traces
- Transforming dynamic condition response graphs to safe Petri nets
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
This page was built for publication: Contextual nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1902298)
