Results 11 to 20 of about 462,160 (174)

An axiomatization of the algebra of Petri net concatenable processes [PDF]

Theoretical Computer Science, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sassone, V.
core   +4 more sources

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., Bruni, R., Montanari, U., Sassone, V.   +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), Vladimiro Sassone, Meseguer, José, Sassone, V., Meseguer, J., MONTANARI, UGO GIOVANNI ERASMO, Ugo Montanari, Ugo Montanari (12616129), Sassone V., Meseguer J, Montanari, U., José Meseguer (39091), Montanari, Ugo, Sassone, Vladimiro, José Meseguer   +14 more
core   +2 more sources

Compute Optimization of Petri Net Controllers Using the Algebraic Method

Applied Sciences, 2019
This study attempted to calculate an optimal Petri net supervisor able to respect the control specifications imposed for a flexible manufacturing system. There are several theories around the control synthesis of discrete event systems.
Sadok Rezig, Sadok Turki, Nidhal Rezg
doaj   +1 more source

Petri Nets over Partial Algebra [PDF]

, 2001
Partial algebra is a suitable tool to define sequential semantics for arbitrary restrictions of the occurrence rule, such as capacity or context restrictions. This paper focuses on non-sequential process semantics of Petri nets over partial algebras.
Desel, Jörg, Juhás, Gabriel, Lorenz, Robert   +2 more
openaire   +2 more sources

Functorial Semantics for Petri Nets under the Individual Token Philosophy [PDF]

, 1999
Although the algebraic semantics of place/transition Petri nets under the collective token philosophy has been fully explained in terms of (strictly) symmetric (strict) monoidal categories, the analogous construction under the individual token philosophy
Meseguer, J., V. Sassone, Bruni, R., U. Montanari, Bruni, Roberto, J. Meseguer, Montanari, U., R. Bruni, Meseguer, José, Montanari, Ugo, Sassone, Vladimiro, Sassone, V.   +11 more
core   +2 more sources

AlPiNA: An Algebraic Petri Net Analyzer [PDF]

, 2010
AlPiNA is a graphical editor and model checker for a class of high-level Petri nets called Algebraic Petri Nets. Its main purpose is to perform reachability checks on complex models. It performs symbolic model checking based on ΣDD, an efficient evolution in the Decision Diagrams field, using novel techniques such as algebraic clustering and algebraic ...
Buchs, Didier, Hostettler, Steve Patrick, Marechal Marin, Alexis Ayar, Risoldi, Matteo   +3 more
openaire   +1 more source

Petri nets for systems and synthetic biology [PDF]

, 2008
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which uni¯es the qualita- tive, stochastic and continuous paradigms.
Donaldson, R, Heiner, M, Gilbert, D
core   +6 more sources

Integration-by-parts reductions of Feynman integrals using Singular and GPI-Space

Journal of High Energy Physics, 2020
We introduce an algebro-geometrically motived integration-by-parts (IBP) re- duction method for multi-loop and multi-scale Feynman integrals, using a framework for massively parallel computations in computer algebra.
Dominik Bendle, Janko Böhm, Wolfram Decker, Alessandro Georgoudis, Franz-Josef Pfreundt, Mirko Rahn, Pascal Wasser, Yang Zhang   +7 more
doaj   +1 more source

Petri nets and algebraic calculi of processes [PDF]

, 1985
Non ...
Boudol, Gérard, Roucairol, Gérard, de Simone, Robert   +2 more
openaire   +4 more sources