Results 41 to 50 of about 462,160 (174)

The Algebraic Structure of Petri Nets

, 2004
This survey retraces, collects, and summarises the contributions of the author --- both individually and in collaboration with others --- on the theme of algebraic, compositional approaches to the semantics of Petri ...
Sassone, V.
core   +1 more source

High-Level Petri Nets as Type Theories in the Join Calculus

, 2001
We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four classes of nets of increasing expressiveness, $PN_i$, introduce a hierarchy of type ...
Buscemi, Maria Grazia, Maria Grazia Buscemi, Buscemi, M., Vladimiro Sassone, Sassone, Vladimiro, Marzia Buscemi, Sassone, V.   +6 more
core   +2 more sources

Quantitative analysis of light‐induced ion segregation in mixed‐halide perovskites

Journal of Applied Crystallography, Volume 59, Issue 3, Page 879-888, June 2026.
A quantitative X‐ray diffraction approach is introduced to resolve light‐induced halide segregation in mixed‐halide perovskite thin films, revealing the formation of Br‐rich regions and their slow incomplete relaxation in the dark.Mixed‐halide perovskites (MHPs) offer good band‐gap tunability via stoichiometry changes, and such tunability is an ...
Petr Machovec, Lukáš Horák, Milan Dopita, Neda Neykova, Lucie Landová, Jakub Holovský, Václav Holý   +6 more
wiley   +1 more source

Hitchhiker's Guide to the Swampland: The Cosmologist's Handbook to the String‐Theoretical Swampland Programme

Fortschritte der Physik, Volume 74, Issue 4, April 2026.
Abstract String theory has strong implications for cosmology, implying the absence of a cosmological constant, ruling out single‐field slow‐roll inflation, and that black holes decay. The origins of these statements are elucidated within the string‐theoretical swampland programme.
Kay Lehnert
wiley   +1 more source

A Probabilistic Cut Finite Element Method With Random Field Generator and Bayesian Model Calibration for Flow Through Rough Cracks

International Journal for Numerical and Analytical Methods in Geomechanics, Volume 50, Issue 1, Page 298-320, January 2026.
ABSTRACT A new model for the simulation of fluid flow through rough cracks is presented. The model combines a probabilistic cut finite element method (PCutFEM) to capture the unfitted boundary condition at the fluid interface, with a stochastic random field generator to represent the crack asperities.
Brubeck Lee Freeman, Evan John Ricketts, Diane Gardner, Anthony Jefferson, Peter John Cleall, Pierre Kerfriden   +5 more
wiley   +1 more source

Time‐ and Behaviour‐Preserving Execution of Determinate Supervisory Control

IET Cyber-Physical Systems: Theory &Applications, Volume 11, Issue 1, January/December 2026.
The activity framework is a model‐based framework incorporating a model of activities with determinate timing and behaviour, and a strong mathematical foundation based on max‐plus algebra that allows efficient timing analysis and optimisation of CPS. Preserving the specified behaviour and the model‐predicted timing in an implementation is challenging ...
Alireza Mohamadkhani, Marc Geilen, Jeroen Voeten, Twan Basten   +3 more
wiley   +1 more source

Petri nets with generalized algebra: a comparison

Electronic Notes in Theoretical Computer Science, 1999
AbstractIn the last decade we can see substantial effort to develop an abstract and uniform constructions for Petri nets. Most of such abstractions are based on algebraic characterizations of Petri nets. They work mostly over commutative monoids and their various subclasses, namely cancellative commutative monoids or cones of Abelian groups.
openaire   +2 more sources

Integrated Co‐Optimisation of Energy–Water–Hydrogen Systems for Carbon‐Aware Dispatch Under Uncertainty

IET Energy Systems Integration, Volume 8, Issue 1, January/December 2026.
ABSTRACT Modern energy–water infrastructures face practical dispatch challenges, such as electricity demand, water production and treatment, renewable intermittency, hydrogen conversion and carbon‐emission limits, which are strongly coupled, yet they are commonly scheduled through separate models.
M. Hassan, M. B. Rasheed, I. Khan, K. A. A. Gamage   +3 more
wiley   +1 more source

On Deadlock Analysis and Characterization of Labeled Petri Nets with Undistinguishable and Unobservable Transitions

Mathematics
This work addresses the analysis and characterization of deadlocks in discrete-event systems modeled by labeled Petri nets (LPNs) with undistinguishable and unobservable transitions.
Amal Zaghdoud, Zhiwu Li
doaj   +1 more source

Active Voltage Balancing Control of 9‐Level Multicell‐Based A‐NPC Inverters

IET Power Electronics, Volume 19, Issue 1, January/December 2026.
We present a optimization‐free PWM control for single‐phase 9‐level FC A‐NPC inverters that converts measured current and capacitor voltages into logic equations to both balance FC voltages and generate the commanded levels. By removing objective functions/optimizers, it enables fast, simple implementation, with experiments showing robust performance ...
Kasra Amirsoleymani, Vahid Dargahi
wiley   +1 more source