Results 11 to 20 of about 229,635 (298)
Functorial Models for Petri Nets [PDF]
, 2001 We show that although the algebraic semantics of place/transition Petri nets under the collective token philosophy can be fully explained in terms of strictly symmetric monoidal categories, the analogous construction under the individual token philosophy
Meseguer, J. +3 more
core +2 more sources
Process versus Unfolding Semantics for Place/Transition Petri Nets [PDF]
, 1996 In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game," one can model the behaviour of Petri nets via non-sequential processes, via unfolding constructions, which provide ...
Vladimiro Sassone (16064975) +14 more
core +2 more sources
Reviews in Mathematical Physics, 1995 A subtheory of a quantum field theory specifies von Neumann subalgebras [Formula: see text] (the ‘observables’ in the space-time region [Formula: see text]) of the von Neumann algebras [Formula: see text] (the 'field' localized in [Formula: see text]).
LONGO, ROBERTO, REHREN, K.
openaire +4 more sources
Casting a Wider Net on Ocean NETs [PDF]
Frontiers in Climate, 2021 Societal issues involving policies and publics are generally understudied in research on ocean-based Negative Emission Technologies (NETs), yet will be crucial if novel techniques are ever to function at scale. Public attitudes are vital for emerging technologies: publics influence political mandates, help determine the degree of uptake by market ...
Emily Cox +4 more
openaire +8 more sources
Net Effects of NETs: New Concepts [PDF]
Journal of Investigative Dermatology, 2020 It is challenging to investigate neutrophil extracellular traps (NETs) and bacterial colonization in vivo. Bitschar et al. (2020) oppose an existing paradigm regarding neutrophils in host defense and propose that neutrophils increase Staphylococcus aureus skin colonization through NETs, not by trapping microbes but via indirect mechanisms.
Teruki, Dainichi +3 more
openaire +2 more sources
Two Algebraic Process Semantics for Contextual Nets
, 2001 We show that the so-called 'Petri nets are monoids' approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable non-free monoids of places.
SASSONE V. +5 more
core +2 more sources
Algebraic Models for Contextual Nets
, 2000 We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual token philosophy uniformly along the two interpretations of net ...
SASSONE V. +5 more
core +2 more sources
TFSS, 2022 In this paper, we develop a theory of $\top$-nets and study their relation to $\top$-filters. We show that convergence in strong $L$-topological spaces can be described by both $\top$-nets and $\top$-filters and both concepts are equivalent in the sense that definitions and proofs that are given using $\top$-filters can also be given using $\top ...
openaire +2 more sources
An introduction to FIFO nets— monogeneous nets: A subclass of FIFO nets
Theoretical Computer Science, 1985 The paper introduces FIFO nets, a model for the specification and analysis of sequential processes communicating by FIFO channels. A FIFO net is a triplet \((R,M_ 0,A)\), where \(R=(F,T,\Gamma,V)\) is a finite valuated bipartite graph with F the set of FIFO queues, T the set of transitions, \(\Gamma\) the correspondence between F and T giving for each ...
Gérard Memmi, Alain Finkel
openaire +1 more source
The Role of D-Linking and Lexical Restriction in Locality Violations
Quaderni di Linguistica e Studi Orientali, 2023 The major contrast discussed in the literature to show an obviation of the wh-island effect often involves a bare wh- element in the role of the intervener (e.g. who) and a “complex” wh-phrase (e.g. which book) in the role of the moved item.
Cristiano Chesi +2 more
doaj