Works matching DE "NETS (Mathematics)"

Results: 249

Behavior description for complex flexible manufacturing system based on decomposition of petri net.

Published in:

Computer Systems Science & Engineering, 2007, v. 22, n. 5, p. 359

By:

Qingtian Zeng;
Hua Duan

Publication type:

Article

Some further results on ideal summability of nets in ( $$\ell $$ ) groups.

Published in:

Positivity, 2015, v. 19, n. 1, p. 53, doi. 10.1007/s11117-014-0282-8

By:

Das, Pratulananda;
Savaş, Ekrem

Publication type:

Article

Modeling biological gradient formation: combining partial differential equations and Petri nets.

Published in:

Natural Computing, 2016, v. 15, n. 4, p. 665, doi. 10.1007/s11047-015-9531-4

By:

Bertens, Laura;
Kleijn, Jetty;
Hille, Sander;
Heiner, Monika;
Koutny, Maciej;
Verbeek, Fons

Publication type:

Article

Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method.

Published in:

International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 1, p. 29, doi. 10.1007/s10009-007-0050-1

By:

Vanit-Anunchai, Somsak;
Billington, Jonathan;
Gallasch, Guy

Publication type:

Article

From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system.

Published in:

International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 1, p. 15, doi. 10.1007/s10009-007-0054-x

By:

Jørgensen, Jens;
Lassen, Kristian;
Aalst, Wil

Publication type:

Article

Discovering colored Petri nets from event logs.

Published in:

International Journal on Software Tools for Technology Transfer, 2008, v. 10, n. 1, p. 57, doi. 10.1007/s10009-007-0051-0

By:

Rozinat, A.;
Mans, R.;
Song, M.;
Aalst, W.

Publication type:

Article

Identification and control algorithms of functioning for neighborhood systems based on petri nets.

Published in:

Automation & Remote Control, 2010, v. 71, n. 6, p. 1265, doi. 10.1134/S0005117910060275

By:

Shmyrin, A.;
Sedykh, I.

Publication type:

Article

Operational-objective modeling of dynamics of organizational systems development via Petri nets.

Published in:

Automation & Remote Control, 2008, v. 69, n. 1, p. 105, doi. 10.1134/S0005117908010104

By:

Yuditskii, S.

Publication type:

Article

On line arrangements with applications to 3-nets.

Published in:

Advances in Geometry, 2010, v. 10, n. 2, p. 287, doi. 10.1515/ADVGEOM.2010.006

By:

Urzúa, Giancarlo

Publication type:

Article

Deep analysis of the influence of the different power system structures on the performance of the energy storage systems.

Published in:: International Journal of Energy Research, 2021, v. 45, n. 12, p. 17805, doi. 10.1002/er.6915
Publication type:: Article

火灾后栓接Q690角钢净截面受拉承载力研究.

Published in:

Journal of Architecture & Civil Engineering, 2022, v. 39, n. 5, p. 132, doi. 10.19815/j.jace.2021.05053

By:

刘艳芝;
胡元涛;
柯珂

Publication type:

Article

全民健身背景下旧冶金工业建筑空间活化与更新研究.

Published in:

Journal of Architecture & Civil Engineering, 2022, v. 39, n. 5, p. 183, doi. 10.19815/j.jace.2022.06080

By:

卢烨;
刘加平;
吕嘉怡

Publication type:

Article

محاسبه تولید انتروپی تابش سطحی با توسعه روش تابش خالص در محفظه ای مایل همراه با جابه جایی طبیعی مقاله پژوهشی.

Published in:

Journal of Applied & Computational Sciences in Mechanics, 2024, v. 36, n. 2, p. 77, doi. 10.22067/jacsm.2023.80207.1151

By:

مهدی فتحی پور;
علی صفوی نژاد

Publication type:

Article

Current Status of Petri Nets Theory in Power Systems.

Published in:

Electric Power Components & Systems, 2005, v. 33, n. 3, p. 263, doi. 10.1080/15325000590474384

By:

Jamil, Majid

Publication type:

Article

Pullback and forward attractors for dissipative lattice dynamical systems with additive noises.

Published in:

Dynamical Systems: An International Journal, 2009, v. 24, n. 2, p. 139, doi. 10.1080/14689360802508777

By:

Ban, Jung-Chao;
Hsu, Cheng-Hsiung;
Lin, Yin-Heng;
Yang, Tzi-Sheng

Publication type:

Article

Simulation-Based Validation of the p53 Transcriptional Activity with Hybrid Functional Petri Net.

Published in:

In Silico Biology, 2006, v. 6, n. 1/2, p. 1, doi. 10.3233/isb-00216

By:

Doi, Atsushi;
Nagasaki, Masao;
Matsuno, Hiroshi;
Miyano, Satoru

Publication type:

Article

STEPP – Search Tool for Exploration of Petri net Paths: A New Tool for Petri Net-Based Path Analysis in Biochemical Networks.

Published in:

In Silico Biology, 2005, v. 5, n. 2, p. 129

By:

Koch, Ina;
Schüler, Markus;
Heiner, Monika

Publication type:

Article

Dynamic Cellular Automata: An Alternative Approach to Cellular Simulation.

Published in:

In Silico Biology, 2005, v. 5, n. 2, p. 139

By:

Wishart, David S.;
Yang, Robert;
Arndt, David;
Tang, Peter;
Cruz, Joseph

Publication type:

Article

Constructing Biological Pathway Models with Hybrid Functional Petri Nets.

Published in:

In Silico Biology, 2004, v. 4, n. 3, p. 271, doi. 10.3233/isb-00133

By:

Doi, Atsushi;
Fujita, Sachie;
Matsuno, Hiroshi;
Nagasaki, Masao;
Miyano, Satoru

Publication type:

Article

Petri nets with name creation for transient secure association.

Published in:

Acta Informatica, 2013, v. 50, n. 7/8, p. 403, doi. 10.1007/s00236-013-0188-0

By:

Rosa-Velardo, Fernando

Publication type:

Article

States Graph Generation from dynamic Priority Time Petri Nets.

Published in:

International Journal of Open Problems in Computer Science & Mathematics, 2013, v. 6, n. 2, p. 85, doi. 10.12816/0006172

By:

Karamti, Walid;
Mahfoudhi, Adel

Publication type:

Article

THE FINITE ELEMENT METHOD FOR SEMILINEAR PARABOLIC EQUATIONS WITH DISCONTINUOUS COEFFICIENTS.

Published in:

Journal of Computational Mathematics, 1999, v. 17, n. 2, p. 191

By:

Hui Feng;
Long-jun Shen

Publication type:

Article

Modelación de enclavamientos en subestaciones eléctricas de transmisión de energía utilizando Redes de Petri de alto nivel.

Published in:

Revista de Ingeniería, 2007, n. 26, p. 39, doi. 10.16924/revinge.26.5

By:

Sanz, Fredy Alberto

Publication type:

Article

A framework for facilitating cooperation in multi-agent systems.

Published in:

Journal of Supercomputing, 2010, v. 51, n. 3, p. 393, doi. 10.1007/s11227-009-0372-8

By:

Ebadi, Toktam;
Purvis, Maryam;
Purvis, Martin

Publication type:

Article

Compactness and convergence of monotone subnets.

Published in:

Mathematical Notes, 2015, v. 97, n. 5/6, p. 968, doi. 10.1134/S000143461505034X

By:

Puzarenko, V.;
Storozhuk, K.

Publication type:

Article

Alternating Projections on Manifolds.

Published in:

Mathematics of Operations Research, 2008, v. 33, n. 1, p. 216, doi. 10.1287/moor.1070.0291

By:

Lewis, Adrian S.;
Malick, Jérôme

Publication type:

Article

Active Distribution Network Fault Location Based on Petri Nets and Improved Particle Swarm Optimization Algorithm.

Published in:

Electrica, 2024, v. 24, n. 3, p. 789, doi. 10.5152/electrica.2024.24047

By:

Yunfeng Xia;
Jie Yang;
Junan Chen;
Yeming Lai;
Sheng Ye

Publication type:

Article

ON ABSOLUTE CONVERGENCE OF DOUBLE FOURIER-HAAR COEFFICIENTS SERIES.

Published in:

Mathematics Student, 2022, v. 91, n. 1/2, p. 171

By:

DARJI, KIRAN N.

Publication type:

Article

Generalized nets in neurology: an example of mathematical modelling.

Published in:

International Journal of Mathematical Education in Science & Technology, 2000, v. 31, n. 2, p. 173, doi. 10.1080/002073900287228

By:

Kim, S. K.;
Atanassov, K. T.;
Shannon, A. G.

Publication type:

Article

Non-crystallographic nets: characterization and first steps towards a classification.

Published in:

Acta Crystallographica. Section A, Foundations & Advances, 2014, v. 70, n. 3, p. 217, doi. 10.1107/S2053273314000631

By:

Moreira de Oliveira, Montauban;
Eon, Jean-Guillaume

Publication type:

Article

Enumeration of reachable (forbidden, live and deadlock) states of kth order system of Petri nets.

Published in:

IMA Journal of Mathematical Control & Information, 2015, v. 32, n. 4, p. 823, doi. 10.1093/imamci/dnu025

By:

YUH CHAO, DANIEL

Publication type:

Article

TCTL Model Checking of Time Petri Nets.

Published in:

Journal of Logic & Computation, 2009, v. 19, n. 6, p. 1509, doi. 10.1093/logcom/exp036

By:

BOUCHENEB, HANIFA;
GARDEY, GUILLAUME;
ROUX, OLIVIER H.

Publication type:

Article

Combining Soft Linear Logic and Spatio-temporal Operators.

Published in:

Journal of Logic & Computation, 2004, v. 14, n. 5, p. 625, doi. 10.1093/logcom/14.5.625

By:

KAMIDE, NORIHIRO

Publication type:

Article

Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets.

Published in:

International Journal of Control, 2005, v. 78, n. 8, p. 537, doi. 10.1080/00207170500036076

By:

Aybar, Aydin;
İftar, Altuğ;
Apaydin-Özkan, Hanfe

Publication type:

Article

DEVICE-CENTRIC LOW-POWER SCHEDULING FOR REAL-TIME EMBEDDED SYSTEMS.

Published in:

International Journal of Software Engineering & Knowledge Engineering, 2005, v. 15, n. 2, p. 461, doi. 10.1142/S021819400500194X

By:

PAO-ANN HSIUNG;
HSIN-CHIEH KAO

Publication type:

Article

100.13 The Steinhaus 'four-colour' tiling.

Published in:

Mathematical Gazette, 2016, v. 100, n. 547, p. 141, doi. 10.1017/mag.2016.22

By:

STEPHENSON, PAUL

Publication type:

Article

Piecewise deterministic Markov processes represented by dynamically coloured Petri nets.

Published in:

Stochastics: An International Journal of Probability & Stochastic Processes, 2005, v. 77, n. 1, p. 1, doi. 10.1080/17442500512331341040

By:

Everdu, Mariken H. C.;
Blom, Henk A. R.

Publication type:

Article

Toward Specifying Multimedia Requirements Using a New Time Petri Net Model.

Published in:

Journal of Computing & Information Technology, 2007, v. 15, n. 3, p. 195, doi. 10.2498/cit.1000791

By:

Abdelli, Abdelkrim;
Badache, Nadjib

Publication type:

Article

A petri net extension for formal modelling of information systems.

Published in:

Computer Systems Science & Engineering, 2016, v. 31, n. 3, p. 223

By:

Kresoja, Saša;
Rackovic, Miloš;
Škrbic, Srdjan;
Surla, Bojana Dimic

Publication type:

Article

Higher-Order Properties of the ‘Exchange Rate Dynamics Redux’ Model.

Published in:

Computational Economics, 2007, v. 30, n. 4, p. 371, doi. 10.1007/s10614-007-9098-y

By:

Jinill Kim;
Yun-kwong Kwok

Publication type:

Article

Quantifying the advantage of a kitting system using Petri nets: a case study in Turkey, modeling, analysis, and insights.

Published in:

International Journal of Advanced Manufacturing Technology, 2017, v. 93, n. 9-12, p. 3677, doi. 10.1007/s00170-017-0430-y

By:

Vatankhah Barenji, Reza;
Yuksel Ozkaya, Banu;
Vatankhah Barenji, Ali

Publication type:

Article

On suboptimal supervisory control of Petri nets in the presence of uncontrollable transitions via monitor places.

Published in:

International Journal of Advanced Manufacturing Technology, 2010, v. 47, n. 5-8, p. 567, doi. 10.1007/s00170-009-2219-0

By:

Uzam, Murat

Publication type:

Article

Discretization of multidimensional submanifolds associated with spin-valued spectral problems.

Published in:

Journal of Mathematical Sciences, 2008, v. 149, n. 1, p. 1032, doi. 10.1007/s10958-008-0042-z

By:

Cieśliński, J.

Publication type:

Article

Differential Equations on Networks (Geometric Graphs).

Published in:

Journal of Mathematical Sciences, 2004, v. 119, n. 6, p. 691, doi. 10.1023/B:JOTH.0000012752.77290.fa

By:

Pokornyi, Yu. V.;
Borovskikh, A. V.

Publication type:

Article

Metabolic Pathway Analysis with Petri Nets.

Published in:

Biology Forum / Rivista di Biologia, 2009, v. 102, n. 3, p. 309

By:

Dewu Ding;
Xiaoqing He

Publication type:

Article

MODIFICATION OF COBURN-FORSTER-KANE EQUATION TO ACCOUNT FOR HUMAN SEQUESTRATION OF CARBON MONOXIDE IN A CLOSED SYSTEM.

Published in:

Aerospace Medicine & Human Performance, 2024, v. 95, n. 8, p. 571

By:

Loesche, Michael;
Asadi, Amran;
Trapp, Brandon;
Dayal, Diana;
Putman, Esther;
Mateus, Jaime

Publication type:

Article

Toward a Statistics for Consumer Decision Net Models.

Published in:

Journal of Consumer Research, 1974, v. 1, n. 1, p. 71, doi. 10.1086/208583

By:

Bettman, James R.

Publication type:

Article

Exploiting colored Petri nets to decide on permutation admissibility.

Published in:

Acta Informatica, 2009, v. 46, n. 1, p. 43, doi. 10.1007/s00236-008-0084-1

By:

Bashirov, Rza;
Kordon, Fabrice;
Lort, Hüseyin

Publication type:

Article

M-nets: a survey.

Published in:

Acta Informatica, 2008, v. 45, n. 7/8, p. 537, doi. 10.1007/s00236-008-0077-0

By:

Klaudel, Hanna;
Pommereau, Franck

Publication type:

Article

Recursive Petri nets.

Published in:

Acta Informatica, 2007, v. 44, n. 7/8, p. 463, doi. 10.1007/s00236-007-0055-y

By:

Haddad, Serge;
Poitrenaud, Denis

Publication type:

Article