132 related articles for article (PubMed ID: 36146285)
1. Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets.
Grobelna I; Szcześniak P
Sensors (Basel); 2022 Sep; 22(18):. PubMed ID: 36146285
[TBL] [Abstract][Full Text] [Related]
2. Formal Verification of Control Modules in Cyber-Physical Systems.
Grobelna I
Sensors (Basel); 2020 Sep; 20(18):. PubMed ID: 32927612
[TBL] [Abstract][Full Text] [Related]
3. 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]
4. 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]
5. starMC: an automata based CTL* model checker.
Amparore EG; Donatelli S; Gallà F
PeerJ Comput Sci; 2022; 8():e823. PubMed ID: 35494878
[TBL] [Abstract][Full Text] [Related]
6. Formal Verification for Task Description Languages. A Petri Net Approach.
López J; Santana-Alonso A; Díaz-Cacho Medina M
Sensors (Basel); 2019 Nov; 19(22):. PubMed ID: 31739526
[TBL] [Abstract][Full Text] [Related]
7. Deadlock checking for one-place unbounded Petri nets based on modified reachability trees.
Ding Z; Jiang C; Zhou M
IEEE Trans Syst Man Cybern B Cybern; 2008 Jun; 38(3):881-3. PubMed ID: 18558549
[TBL] [Abstract][Full Text] [Related]
8. Automation of Presentation Record Production Based on Rich-Media Technology Using SNT Petri Nets Theory.
Martiník I
ScientificWorldJournal; 2015; 2015():303705. PubMed ID: 26258164
[TBL] [Abstract][Full Text] [Related]
9. 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]
10. Requirements specification and analysis of digital systems using fuzzy and marked Petri nets.
Shen VL; Lai F
IEEE Trans Syst Man Cybern B Cybern; 1998; 28(5):748-54. PubMed ID: 18255994
[TBL] [Abstract][Full Text] [Related]
11. Validation of biological models with temporal logic and Timed Hybrid Petri Nets.
Troncale S; Comet JP; Bernot G
Annu Int Conf IEEE Eng Med Biol Soc; 2007; 2007():4603-8. PubMed ID: 18003031
[TBL] [Abstract][Full Text] [Related]
12. Modularization of biochemical networks based on classification of Petri net t-invariants.
Grafahrend-Belau E; Schreiber F; Heiner M; Sackmann A; Junker BH; Grunwald S; Speer A; Winder K; Koch I
BMC Bioinformatics; 2008 Feb; 9():90. PubMed ID: 18257938
[TBL] [Abstract][Full Text] [Related]
13. Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking.
Chouhan AP; Banda G
Sensors (Basel); 2020 Aug; 20(16):. PubMed ID: 32806594
[TBL] [Abstract][Full Text] [Related]
14. Extended Hierarchical Fuzzy Interpreted Petri Net.
Markiewicz M; Gniewek L; Warchoł D
Sensors (Basel); 2021 Dec; 21(24):. PubMed ID: 34960526
[TBL] [Abstract][Full Text] [Related]
15. 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]
16. Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension.
Li C; Nagasaki M; Ueno K; Miyano S
BMC Syst Biol; 2009 Apr; 3():42. PubMed ID: 19393101
[TBL] [Abstract][Full Text] [Related]
17. Two theoretical and practical aspects of knitting technique: invariants and a new class of Petri net.
Chao DY; Wang DT
IEEE Trans Syst Man Cybern B Cybern; 1997; 27(6):962-77. PubMed ID: 18263104
[TBL] [Abstract][Full Text] [Related]
18. VANESA: An open-source hybrid functional Petri net modeling and simulation environment in systems biology.
Brinkrolf C; Ochel L; Hofestädt R
Biosystems; 2021 Dec; 210():104531. PubMed ID: 34492317
[TBL] [Abstract][Full Text] [Related]
19. Temporal logics for phylogenetic analysis via model checking.
Requeno JI; Casado Gde M; Blanco R; Colom JM
IEEE/ACM Trans Comput Biol Bioinform; 2013; 10(4):1058-70. PubMed ID: 24334397
[TBL] [Abstract][Full Text] [Related]
20. Reasoning about clinical guidelines based on algebraic data types and constraint logic programming.
Pérez B
J Biomed Inform; 2019 Apr; 92():103134. PubMed ID: 30831315
[TBL] [Abstract][Full Text] [Related]
[Next] [New Search]
