Results 21 to 30 of about 411,715 (285)
Validation of enterprise architecture through colored Petri nets [PDF]
Management Science Letters, 2015 Enterprise architecture procedure contains some instructions for conversion of enterprise architecture from the current state to the desirable state. This procedure generally contains 3 phases each of which is the basis and prerequisite of the next phase.
Somayeh Toghyani , Ali Harounabadi
doaj +1 more source
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. +3 more
core +2 more sources
Modeling and Simulation of Urban Traffic Network Using Colored Petri Nets [PDF]
مدیریت صنعتی, 2016 Management and control of vehicle traffic on the network of streets and cross-sections is part of urban traffic control system. The aim of this research is to propose an operations research method to model the urban traffic control system, in order to be
Khodakaram Salimifard, Mehdi Ansari
doaj +1 more source
DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases [PDF]
, 2017 The integrated management of business processes and mas- ter data is being increasingly considered as a fundamental problem, by both the academia and the industry. In this position paper, we focus on the foundations of the problem, arguing that contemporary approaches struggle to find a suitable equilibrium between data- and process-related aspects. We
Marco Montali, Andrey Rivkin
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
Research on two-phase grid task scheduling based on Petri nets
Tongxin xuebao, 2009 Firstly, the grid resource management model was described which was integrated P2P mode. Then, a two-phase grid task scheduling method was proposed.
XIONG Zeng-gang 1 +2 more
doaj +2 more sources
State space analysis of flexible manufacturing cell using timed colored Petri nets
MATEC Web of Conferences, 2017 In this paper we focus on analysis and evaluation of flexible manufacturing cell using time colored Petri nets. We basically model the system with respect to time to observe relation between each place and transition through arcs.
Saren Sanjib Kumar, Blaga Florin
doaj +1 more source
Tools and Methods for RTCP-Nets Modeling and Verification
Archives of Control Sciences, 2016 RTCP-nets are high level Petri nets similar to timed colored Petri nets, but with different time model and some structural restrictions. The paper deals with practical aspects of using RTCP-nets for modeling and verification of real-time systems.
Szpyrka Marcin +2 more
doaj +1 more source
Colored petri net modeling of small interfering RNA-mediated messenger RNA degradation
Advanced Biomedical Research, 2016 Background: Mathematical modeling of biological systems is an attractive way for studying complex biological systems and their behaviors. Petri Nets, due to their ability to model systems with various levels of qualitative information, have been wildly ...
Niloofar Nickaeen +3 more
doaj +1 more source
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source