Results 41 to 50 of about 23,744 (217)
Towards a Notion of Distributed Time for Petri Nets
, 2001 We set the ground for research on a 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. The novelty is that, rather than a single global clock, we
Srba, J. +5 more
core +1 more source
Fundamenta InformaticaeThe categorical modeling of Petri nets has received much attention recently. The Dialectica construction has also had its fair share of attention. We revisit the use of the Dialectica construction as a categorical model for Petri nets generalising the original application to suggest that Petri nets with different kinds of transitions can be modelled in
Elena Di Lavore +2 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 +1 more source
Interpreted Petri Nets Applied to Autonomous Components within Electric Power Systems
Applied Sciences, 2022 In this article, interpreted Petri nets are applied to the area of power and energy systems. These kinds of nets, equipped with input and output signals for communication with the environment, have so far proved to be useful in the specification of ...
Iwona Grobelna, Paweł Szcześniak
doaj +1 more source
From Petri Nets to differential equations: An integrative approach for biochemical network analysis [PDF]
, 2006 We report on the results of an investigation into the integration of Petri nets and ordinary differential equations (ODEs) for the modelling and analysis of biochemical networks, and the application of our approach to the model of the influence of the
Heiner, M. +5 more
core +1 more source
Deadlock analysis and control based on Petri nets: A siphon approach review
Advances in Mechanical Engineering, 2017 Deadlocks should be eliminated in highly automated manufacturing systems since their occurrence implies the stoppage of the whole or partial system operation.
YiFan Hou, Kamel Barkaoui
doaj +1 more source
Electronic Notes in Theoretical Computer Science, 2006 AbstractThe aim of this paper is an introduction to the area of Petri net transformations, a rule-based approach for dynamic changes of the net structure of Petri nets. This is especially important for the stepwise construction of Petri nets in the sense of the software development process in software engineering.
Hartmut Ehrig +2 more
openaire +1 more source
Modeling of colored Petri nets using semantic Web technologies
Известия высших учебных заведений. Поволжский регион:Технические науки, 2022 Background. In connection with the widespread use of the Semantic Web concept, the issues of using formal models in the design of parallel, distributed and multi-agent systems based on the Semantic Web are of interest.
V.Yu. Kaev +3 more
doaj +1 more source
Bounded self-stabilizing Petri nets
, 2005 We investigate the property of self-stabilization in bounded Petri nets. We give characterizations for both self-stabilizing bounded ordinary Petri nets (i.e., Petri nets without multiple arcs) and self-stabilizing bounded general Petri nets (i.e., Petri
Cherkasova, Ludmila +3 more
core +1 more source
Analysis of Petri Nets and Transition Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 This paper describes a stand-alone, no-frills tool supporting the analysis of (labelled) place/transition Petri nets and the synthesis of labelled transition systems into Petri nets.
Eike Best, Uli Schlachter
doaj +1 more source