109 related articles for article (PubMed ID: 35494878)
21. Enhanced high-level Petri nets with multiple colors for knowledge verification/validation of rule-based expert systems.
Wu CH; Lee SJ
IEEE Trans Syst Man Cybern B Cybern; 1997; 27(5):760-73. PubMed ID: 18263087
[TBL] [Abstract][Full Text] [Related]
22. Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets.
Wisniewski R; Grobelna I; Karatkevich A
Sensors (Basel); 2020 Sep; 20(19):. PubMed ID: 32998420
[TBL] [Abstract][Full Text] [Related]
23. A modular architecture for transparent computation in recurrent neural networks.
Carmantini GS; Beim Graben P; Desroches M; Rodrigues S
Neural Netw; 2017 Jan; 85():85-105. PubMed ID: 27814468
[TBL] [Abstract][Full Text] [Related]
24. Monitoring hybrid process specifications with conflict management: An automata-theoretic approach.
Alman A; Maggi FM; Montali M; Patrizi F; Rivkin A
Artif Intell Med; 2023 May; 139():102512. PubMed ID: 37100514
[TBL] [Abstract][Full Text] [Related]
25. Reachability analysis of real-time systems using time Petri nets.
Wang J; Deng Y; Xu G
IEEE Trans Syst Man Cybern B Cybern; 2000; 30(5):725-36. PubMed ID: 18252405
[TBL] [Abstract][Full Text] [Related]
26. Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking.
Gilbert D; Heiner M; Ghanbar L; Chodak J
BMC Bioinformatics; 2019 Apr; 20(Suppl 4):173. PubMed ID: 30999841
[TBL] [Abstract][Full Text] [Related]
27. Possibilistic Petri nets.
Cardoso J; Valette R; Dubois D
IEEE Trans Syst Man Cybern B Cybern; 1999; 29(5):573-82. PubMed ID: 18252335
[TBL] [Abstract][Full Text] [Related]
28. Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis.
Pauleve L
IEEE/ACM Trans Comput Biol Bioinform; 2018; 15(4):1167-1179. PubMed ID: 28885158
[TBL] [Abstract][Full Text] [Related]
29. Nanoscale on-chip all-optical logic parity checker in integrated plasmonic circuits in optical communication range.
Wang F; Gong Z; Hu X; Yang X; Yang H; Gong Q
Sci Rep; 2016 Apr; 6():24433. PubMed ID: 27073154
[TBL] [Abstract][Full Text] [Related]
30. Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets.
Majma N; Babamir SM; Monadjemi A
J Med Syst; 2017 Feb; 41(2):27. PubMed ID: 28005249
[TBL] [Abstract][Full Text] [Related]
31. Fuzzy Petri net-based programmable logic controller.
Andreu D; Pascal JC; Valette R
IEEE Trans Syst Man Cybern B Cybern; 1997; 27(6):952-61. PubMed ID: 18263103
[TBL] [Abstract][Full Text] [Related]
32. Transfer of Temporal Logic Formulas in Reinforcement Learning.
Xu Z; Topcu U
IJCAI (U S); 2019; 28():4010-4018. PubMed ID: 31631953
[TBL] [Abstract][Full Text] [Related]
33. Automatic selection of verification tools for efficient analysis of biochemical models.
Bakir ME; Konur S; Gheorghe M; Krasnogor N; Stannett M
Bioinformatics; 2018 Sep; 34(18):3187-3195. PubMed ID: 29688313
[TBL] [Abstract][Full Text] [Related]
34. Authoring and verification of clinical guidelines: a model driven approach.
Pérez B; Porres I
J Biomed Inform; 2010 Aug; 43(4):520-36. PubMed ID: 20206714
[TBL] [Abstract][Full Text] [Related]
35. Model-checking ecological state-transition graphs.
Thomas C; Cosme M; Gaucherel C; Pommereau F
PLoS Comput Biol; 2022 Jun; 18(6):e1009657. PubMed ID: 35666771
[TBL] [Abstract][Full Text] [Related]
36. The equivalency between logic Petri workflow nets and workflow nets.
Wang J; Yu S; Du Y
ScientificWorldJournal; 2015; 2015():121492. PubMed ID: 25821845
[TBL] [Abstract][Full Text] [Related]
37. Holmes: a graphical tool for development, simulation and analysis of Petri net based models of complex biological systems.
Radom M; Rybarczyk A; Szawulak B; Andrzejewski H; Chabelski P; Kozak A; Formanowicz P
Bioinformatics; 2017 Dec; 33(23):3822-3823. PubMed ID: 28961696
[TBL] [Abstract][Full Text] [Related]
38. A Logic for Checking the Probabilistic Steady-State Properties of Reaction Networks.
Picard V; Siegel A; Bourdon J
J Comput Biol; 2017 Aug; 24(8):734-745. PubMed ID: 28686462
[TBL] [Abstract][Full Text] [Related]
39. Model abstraction for discrete-event systems by binary linear programming with applications to manufacturing systems.
Cheng L; Feng L; Li Z
Sci Prog; 2021; 104(3):368504211030833. PubMed ID: 34292845
[TBL] [Abstract][Full Text] [Related]
40. Analyzing phylogenetic trees with timed and probabilistic model checking: the lactose persistence case study.
Requeno JI; Colom JM
J Integr Bioinform; 2014 Oct; 11(3):248. PubMed ID: 25339082
[TBL] [Abstract][Full Text] [Related]
[Previous] [Next] [New Search]
