Works matching DE "PETRI nets"

Results: 2354

A Process Tree-Based Incomplete Event Log Repair Approach.

Published in:

Information (2078-2489), 2025, v. 16, n. 5, p. 390, doi. 10.3390/info16050390

By:

Wang, Qiushi;
Zhang, Liye;
Cao, Rui;
Guo, Na;
Zhang, Haijun;
Liu, Cong

Publication type:

Article

Model for Evaluation of Aircraft Boarding Under Disturbances.

Published in:

Aerospace (MDPI Publishing), 2025, v. 12, n. 5, p. 403, doi. 10.3390/aerospace12050403

By:

Płanda, Beata;
Skorupski, Jacek

Publication type:

Article

Opening the black box: Petri nets and Privacy by Design.

Published in:

International Review of Law, Computers & Technology, 2017, v. 31, n. 1, p. 68, doi. 10.1080/13600869.2017.1275123

By:

Diver, Laurence;
Schafer, Burkhard

Publication type:

Article

Method for evaluating the landing aircraft sequence under disturbed conditions with the use of Petri nets.

Published in:

Aeronautical Journal, 2016, v. 120, n. 1227, p. 819, doi. 10.1017/aer.2016.32

By:

Skorupski, J.;
Florowski, A.

Publication type:

Article

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

Published in:

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

By:

Qingtian Zeng;
Hua Duan

Publication type:

Article

A formal method for synthesising components of shared resource systems.

Published in:

Computer Systems Science & Engineering, 2007, v. 22, n. 6, p. 349

By:

Cheung, K. S.

Publication type:

Article

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

Temporal Petri nets model of concurrent systems.

Published in:

Computer Systems Science & Engineering, 2002, v. 17, n. 6, p. 353

By:

Zhijun Ding;
Changjun Jiang

Publication type:

Article

System design of “Ba”-like stages for improvisational acts via Leibnizian space–time and Peirce’s existential graph concepts.

Published in:

AI & Society, 2007, v. 22, n. 2, p. 101, doi. 10.1007/s00146-007-0125-2

By:

Katai, Osamu;
Minamizono, Katsushi;
Shiose, Takayuki;
Kawakami, Hiroshi

Publication type:

Article

Aromaticity and Magnetic Behavior in Benzenoids: Unraveling Ring Current Combinations.

Published in:

Chemistry - A European Journal, 2024, v. 30, n. 1, p. 1, doi. 10.1002/chem.202302415

By:

Leyva‐Parra, Luis;
Pino‐Rios, Ricardo;
Inostroza, Diego;
Solà, Miquel;
Alonso, Mercedes;
Tiznado, William

Publication type:

Article

Preface.

Published in:

2020

By:

Formenti, Enrico;
Sené, Sylvain

Publication type:

Editorial

Concurrency in Boolean networks.

Published in:

Natural Computing, 2020, v. 19, n. 1, p. 91, doi. 10.1007/s11047-019-09748-4

By:

Chatain, Thomas;
Haar, Stefan;
Kolčák, Juraj;
Paulevé, Loïc;
Thakkar, Aalok

Publication type:

Article

Computing with chemical reaction networks: a tutorial.

Published in:

Natural Computing, 2019, v. 18, n. 1, p. 119, doi. 10.1007/s11047-018-9723-9

By:

Brijder, Robert

Publication type:

Article

Petri-net-based 2D design of DNA walker circuits.

Published in:

Natural Computing, 2018, v. 17, n. 1, p. 161, doi. 10.1007/s11047-018-9671-4

By:

Gilbert, David;
Heiner, Monika;
Rohr, Christian

Publication type:

Article

Democratic, existential, and consensus-based output conventions in stable computation by chemical reaction networks.

Published in:

Natural Computing, 2018, v. 17, n. 1, p. 97, doi. 10.1007/s11047-017-9648-8

By:

Brijder, Robert;
Doty, David;
Soloveichik, David

Publication type:

Article

Dominance and deficiency for Petri nets and chemical reaction networks.

Published in:

Natural Computing, 2017, v. 16, n. 2, p. 285, doi. 10.1007/s11047-017-9612-7

By:

Brijder, Robert

Publication type:

Article

Preface.

Published in:

2017

By:

Phillips, Andrew;
Yin, Peng

Publication type:

Editorial

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

Modeling membrane systems using colored stochastic Petri nets.

Published in:

Natural Computing, 2013, v. 12, n. 4, p. 617, doi. 10.1007/s11047-013-9367-8

By:

Liu, Fei;
Heiner, Monika

Publication type:

Article

Petri nets as a framework for the reconstruction and analysis of signal transduction pathways and regulatory networks.

Published in:

Natural Computing, 2011, v. 10, n. 2, p. 639, doi. 10.1007/s11047-009-9152-x

By:

Marwan, Wolfgang;
Wagler, Annegret;
Weismantel, Robert

Publication type:

Article

Boundedness analysis for open Chemical Reaction Networks with mass-action kinetics.

Published in:

Natural Computing, 2011, v. 10, n. 2, p. 751, doi. 10.1007/s11047-009-9163-7

By:

Angeli, David

Publication type:

Article

Stochastic Petri net models of Ca signaling complexes and their analysis.

Published in:

Natural Computing, 2011, v. 10, n. 3, p. 1045, doi. 10.1007/s11047-009-9143-y

By:

Lamprecht, Ruth;
Smith, Gregory D.;
Kemper, Peter

Publication type:

Article

Petri net models for the semi-automatic construction of large scale biological networks.

Published in:

Natural Computing, 2011, v. 10, n. 3, p. 1077, doi. 10.1007/s11047-009-9151-y

By:

Ming Chen;
Hariharaputran, Sridhar;
Hofestädt, Ralf;
Kormeier, Benjamin;
Spangardt, Sarah

Publication type:

Article

A discrete Petri net model for cephalostatin-induced apoptosis in leukemic cells.

Published in:

Natural Computing, 2011, v. 10, n. 3, p. 993, doi. 10.1007/s11047-009-9153-9

By:

Rodriguez, Eva M.;
Rudy, Anita;
del Rosario, Ricardo C. H.;
Vollmar, Angelika M.;
Mendoza, Eduardo R.

Publication type:

Article

Hybrid Petri net based modeling for biological pathway simulation.

Published in:

Natural Computing, 2011, v. 10, n. 3, p. 1099, doi. 10.1007/s11047-009-9164-6

By:

Matsuno, Hiroshi;
Nagasaki, Masao;
Miyano, Satoru

Publication type:

Article

Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks.

Published in:

Natural Computing, 2011, v. 10, n. 3, p. 1017, doi. 10.1007/s11047-010-9211-3

By:

Popova-Zeugmann, Louchka

Publication type:

Article

Preface: Petri nets for Systems and Synthetic Biology.

Published in:

Natural Computing, 2011, v. 10, n. 3, p. 987, doi. 10.1007/s11047-011-9263-z

By:

Heiner, Monika

Publication type:

Article

A Petri net representation of Bayesian message flows: importance of Bayesian networks for biological applications.

Published in:

Natural Computing, 2011, v. 10, n. 2, p. 683, doi. 10.1007/s11047-009-9142-z

By:

Lautenbach, Kurt;
Pinl, Alexander

Publication type:

Article

Error-correcting Petri nets.

Published in:

Natural Computing, 2011, v. 10, n. 2, p. 711, doi. 10.1007/s11047-009-9150-z

By:

Pagnoni, Anastasia

Publication type:

Article

The combinatorics of modeling and analyzing biological systems.

Published in:

Natural Computing, 2011, v. 10, n. 2, p. 655, doi. 10.1007/s11047-009-9165-5

By:

Wagler, Annegret K.;
Weismantel, Robert

Publication type:

Article

Petri net representation of multi-valued logical regulatory graphs.

Published in:

Natural Computing, 2011, v. 10, n. 2, p. 727, doi. 10.1007/s11047-010-9178-0

By:

Chaouiya, C.;
Naldi, A.;
Remy, E.;
Thieffry, D.

Publication type:

Article

Hybrid Functional Petri Nets as MP systems.

Published in:

Natural Computing, 2010, v. 9, n. 1, p. 61, doi. 10.1007/s11047-009-9121-4

By:

Castellini, Alberto;
Franco, Giuditta;
Manca, Vincenzo

Publication type:

Article

Petri nets for modelling metabolic pathways: a survey.

Published in:

Natural Computing, 2010, v. 9, n. 4, p. 955, doi. 10.1007/s11047-010-9180-6

By:

Baldan, Paolo;
Cocco, Nicoletta;
Marin, Andrea;
Simeoni, Marta

Publication type:

Article

A Petri net model for membrane systems with dynamic structure.

Published in:

Natural Computing, 2009, v. 8, n. 4, p. 781, doi. 10.1007/s11047-008-9101-0

By:

Jetty Kleijn;
Maciej Koutny

Publication type:

Article

Lifted model checking for relational MDPs.

Published in:

Machine Learning, 2022, v. 111, n. 10, p. 3797, doi. 10.1007/s10994-021-06102-7

By:

Yang, Wen-Chi;
Raskin, Jean-François;
De Raedt, Luc

Publication type:

Article

Knowledge representation and reasoning using fuzzy Petri nets: a literature review and bibliometric analysis.

Published in:

Artificial Intelligence Review, 2023, v. 56, n. 7, p. 6241, doi. 10.1007/s10462-022-10312-3

By:

Yu, Ya-Xuan;
Gong, Hua-Ping;
Liu, Hu-Chen;
Mou, Xun

Publication type:

Article

Modeling, reasoning, and application of fuzzy Petri net model: a survey.

Published in:

Artificial Intelligence Review, 2022, v. 55, n. 8, p. 6567, doi. 10.1007/s10462-022-10161-0

By:

Jiang, Wei;
Zhou, Kai-Qing;
Sarkheyli-Hägele, Arezoo;
Zain, Azlan Mohd

Publication type:

Article

Least angle regression, relaxed lasso, and elastic net for algebraic multigrid of systems of elliptic partial differential equations.

Published in:

Numerical Linear Algebra with Applications, 2024, v. 31, n. 5, p. 1, doi. 10.1002/nla.2572

By:

Lee, Barry

Publication type:

Article

Reconstruction of extended Petri nets from time-series data by using logical control functions.

Published in:

Journal of Mathematical Biology, 2013, v. 66, n. 1/2, p. 203, doi. 10.1007/s00285-012-0511-3

By:

Durzinsky, Markus;
Marwan, Wolfgang;
Wagler, Annegret

Publication type:

Article

A causal, time-independent synchronization pattern for collective adaptive systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 5/6, p. 659, doi. 10.1007/s10009-023-00733-y

By:

Fettke, Peter;
Reisig, Wolfgang

Publication type:

Article

Comparing perfomance abstractions for collective adaptive systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 5/6, p. 785, doi. 10.1007/s10009-023-00728-9

By:

Murgia, Maurizio;
Pinciroli, Riccardo;
Trubiani, Catia;
Tuosto, Emilio

Publication type:

Article

Leveraging polyhedral reductions for solving Petri net reachability problems.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 1, p. 95, doi. 10.1007/s10009-022-00694-8

By:

Amat, Nicolas;
Dal Zilio, Silvano;
Le Botlan, Didier

Publication type:

Article

Partial-order reduction for parity games and parameterised Boolean equation systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 5, p. 735, doi. 10.1007/s10009-022-00672-0

By:

Neele, Thomas;
Willemse, Tim A. C.;
Wesselink, Wieger;
Valmari, Antti

Publication type:

Article

Approximate verification of concurrent systems using token structures and invariants.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 613, doi. 10.1007/s10009-022-00650-6

By:

Antonino, Pedro;
Gibson-Robinson, Thomas;
Roscoe, A. W.

Publication type:

Article

The probabilistic model checker Storm.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 4, p. 589, doi. 10.1007/s10009-021-00633-z

By:

Hensel, Christian;
Junges, Sebastian;
Katoen, Joost-Pieter;
Quatmann, Tim;
Volk, Matthias

Publication type:

Article

Verifying safety of synchronous fault-tolerant algorithms by bounded model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 1, p. 33, doi. 10.1007/s10009-021-00637-9

By:

Stoilkovska, Ilina;
Konnov, Igor;
Widder, Josef;
Zuleger, Florian

Publication type:

Article

PolyGraph: a data flow model with frequency arithmetic.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 3, p. 489, doi. 10.1007/s10009-020-00586-9

By:

Dubrulle, Paul;
Kosmatov, Nikolai;
Gaston, Christophe;
Lapitre, Arnault

Publication type:

Article

Introduction to the Special Issue devoted to SPIN 2018.

Published in:

2020

By:

Gallardo, María del Mar;
Merino, Pedro

Publication type:

Editorial

Counting Petri net markings from reduction equations.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 2, p. 163, doi. 10.1007/s10009-019-00519-1

By:

Berthomieu, Bernard;
Le Botlan, Didier;
Dal Zilio, Silvano

Publication type:

Article

A formal approach to AADL model-based software engineering.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 2, p. 219, doi. 10.1007/s10009-019-00513-7

By:

Mkaouar, Hana;
Zalila, Bechir;
Hugues, Jérôme;
Jmaiel, Mohamed

Publication type:

Article