Results 71 to 80 of about 462,160 (174)
A Comparison of Petri Net Semantics under the Collective Token Philosophy
, 1998 In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities between three such models, namely configuration structures, concurrent ...
Meseguer, J. +7 more
core +2 more sources
Extended Hierarchical Fuzzy Interpreted Petri Net. [PDF]
Sensors (Basel), 2021 Markiewicz M, Gniewek L, Warchoł D.
europepmc +1 more source
Concurrency Algebra and Petri Nets
, 1985 Concurrency Algebra is an algebraic framework for reasoning about the dynamic behavior of Petri nets. Based on a simple algebra containing concatenation, choice, and shuffle of strings, concurrency algebra uses a substitution schema determined by the structure of the given Petri net to generate new terms that denote its behavior.
openaire +2 more sources
QSP Designer: Quantitative systems pharmacology modeling with modular biological process map notation and multiple language code generation. [PDF]
CPT Pharmacometrics Syst Pharmacol, 2023 Matthews RJ +4 more
europepmc +1 more source
Algebras of coloured Petri nets
, 2019 This document surveys my research work about a framework of composable coloured Petri nets. This framework is organised around a core model of coloured Petri nets that can be extended with various features: control flow, synchronous communication, exceptions, threads, functions and time.
openaire +2 more sources
Performance Optimization for a Class of Petri Nets. [PDF]
Sensors (Basel), 2023 Shi W, He Z, Gu C, Ran N, Ma Z.
europepmc +1 more source
Радіоелектроніка, інформатика, управління, 2001 This contribution is devoted to fast computation of a basis of invariants (P-invariants or T-invariants) in Petri Nets with extension to large-scale systems. Unlike the previous techniques, our approach consists first, in transforming the homogeneous equation into a reduced form and next, with the aid of performed simple rules, a basis of invariants is
Abdellatif Bourjij, Mohamed Boutayeb
openaire +1 more source
Properties of Distributed Time Arc Petri Nets
, 2001 In recent work we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required for enabling.
Srba, J., Nielsen, M., Sassone, V.
core +1 more source
Petri nets and ODEs as complementary methods for comprehensive analysis on an example of the ATM-p53-NF-[Formula: see text]B signaling pathways. [PDF]
Sci Rep, 2022 Gutowska K +5 more
europepmc +1 more source