Results 1 to 10 of about 462,160 (174)
On the algebraic structure of Petri nets [PDF]
Bull. EATCS, 2000 Summary: This paper retraces, collects, and summarizes the contributions of the author -- both individually and in collaboration with others -- on the theme of algebraic, compositional approaches to the semantics of Petri nets.
Sassone, V.
core +7 more sources
IEEE Access, 2019 Petri nets are an important and popular tool to model and analyze deadlocks in automated manufacturing systems. The state space of a Petri net model can be divided into two disjoint parts: a live-zone and a dead-zone.
Dajiang Sun +5 more
doaj +3 more sources
Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory [PDF]
The Scientific World Journal, 2015 Rich-media describes a broad range of digital interactive media that is increasingly used in the Internet and also in the support of education.
Ivo Martiník
doaj +2 more sources
Petri nets and algebraic specifications
Theoretical Computer Science, 1991 Petri nets with structured tokens are defined using the formalism of abstract data types. Ground terms thereby are used to represent the markings. This gives a new, and hopefully more adequate setting for what is known from other high-level Petri nets. Place and transition invariants can be calculated using term substitution.
Wolfgang Reißig
openaire +4 more sources
Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets
Моделирование и анализ информационных систем, 2012 A technique of the computing grid verification using invariants of infinite Petri nets was presented. Models of square grid structures in the form of parametric Petri nets for such edge conditions as connection of edges and truncated devices were ...
D. A. Zaitsev
doaj +3 more sources
An Advanced Environment for Hybrid Modeling of Biological Systems Based on Modelica
Journal of Integrative Bioinformatics, 2011 Biological systems are often very complex so that an appropriate formalism is needed for modeling their behavior. Hybrid Petri Nets, consisting of time-discrete Petri Net elements as well as continuous ones, have proven to be ideal for this task ...
Proß Sabrina, Bachmann Bernhard
doaj +2 more sources
Modal algebra and Petri nets [PDF]
Acta Informatica, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Dang, Han-Hing, Möller, Bernhard
openaire +1 more source
Connector algebras for C/E and P/T nets' interactions [PDF]
Logical Methods in Computer Science, 2013 A quite flourishing research thread in the recent literature on component-based systems is concerned with the algebraic properties of different classes of connectors.
Roberto Bruni +3 more
doaj +1 more source
A Hybrid Modular Approach for Dynamic Fault Tree Analysis
IEEE Access, 2020 Over the years, several approaches have been developed for the quantitative analysis of dynamic fault trees (DFTs). These approaches have strong theoretical and mathematical foundations; however, they appear to suffer from the state-space explosion and ...
Sohag Kabir +4 more
doaj +1 more source
A Method for Temporal Fault Tree Analysis Using Intuitionistic Fuzzy Set and Expert Elicitation
IEEE Access, 2020 Temporal fault trees (TFTs), an extension of classical Boolean fault trees, can model time-dependent failure behaviour of dynamic systems. The methodologies used for quantitative analysis of TFTs include algebraic solutions, Petri nets (PN), and Bayesian
Sohag Kabir +4 more
doaj +1 more source