109 related articles for article (PubMed ID: 30799022)
1. On-line verification of initial-state opacity by Petri nets and integer linear programming.
Cong X; Fanti MP; Mangini AM; Li Z
ISA Trans; 2019 Oct; 93():108-114. PubMed ID: 30799022
[TBL] [Abstract][Full Text] [Related]
2. Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets.
Habbachi S; Li Z; Wu N; Khalgui M
Sci Prog; 2022; 105(1):368504221075466. PubMed ID: 35196198
[TBL] [Abstract][Full Text] [Related]
3. Current-state opacity verification in discrete event systems using an observer net.
Labed A; Saadaoui I; Wu N; Yu J; Li Z
Sci Rep; 2022 Dec; 12(1):21572. PubMed ID: 36517648
[TBL] [Abstract][Full Text] [Related]
4. Performance Optimization for a Class of Petri Nets.
Shi W; He Z; Gu C; Ran N; Ma Z
Sensors (Basel); 2023 Jan; 23(3):. PubMed ID: 36772485
[TBL] [Abstract][Full Text] [Related]
5. Verification of initial-and-final-state opacity for unambiguous weighted automata.
Shen L; Miao S; Lai A; Komenda J
ISA Trans; 2024 May; 148():237-246. PubMed ID: 38599927
[TBL] [Abstract][Full Text] [Related]
6. Fuzzy multimodel of timed Petri nets.
Hennequin S; Lefebvre D; El Moudni A
IEEE Trans Syst Man Cybern B Cybern; 2001; 31(2):245-51. PubMed ID: 18244786
[TBL] [Abstract][Full Text] [Related]
7. Safety analysis of discrete event systems using a simplified Petri net controller.
Zareiee M; Dideban A; Asghar Orouji A
ISA Trans; 2014 Jan; 53(1):44-9. PubMed ID: 24074873
[TBL] [Abstract][Full Text] [Related]
8. 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]
9. Solving linear integer programming problems by a novel neural model.
Cavalieri S
Int J Neural Syst; 1999 Feb; 9(1):27-39. PubMed ID: 10401928
[TBL] [Abstract][Full Text] [Related]
10. 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]
11. Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors.
Cong X; Wang A; Chen Y; Wu N; Qu T; Khalgui M; Li Z
ISA Trans; 2019 Sep; 92():145-154. PubMed ID: 30850206
[TBL] [Abstract][Full Text] [Related]
12. 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]
13. On a maximally permissive deadlock prevention policy for automated manufacturing systems by using resource-oriented Petri nets.
Chen H; Wu N; Li Z; Qu T
ISA Trans; 2019 Jun; 89():67-76. PubMed ID: 30598325
[TBL] [Abstract][Full Text] [Related]
14. Chromosome structures: reduction of certain problems with unequal gene content and gene paralogs to integer linear programming.
Lyubetsky V; Gershgorin R; Gorbunov K
BMC Bioinformatics; 2017 Dec; 18(1):537. PubMed ID: 29212445
[TBL] [Abstract][Full Text] [Related]
15. 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]
16. Discrete event representation of qualitative models using Petri nets.
Fanni A; Giua A
IEEE Trans Syst Man Cybern B Cybern; 1998; 28(6):770-80. PubMed ID: 18255996
[TBL] [Abstract][Full Text] [Related]
17. 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]
18. 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]
19. 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]
20. Dynamic Production System Identification for Smart Manufacturing Systems.
Denno P; Dickerson C; Harding JA
J Manuf Syst; 2018; 48():. PubMed ID: 31555022
[TBL] [Abstract][Full Text] [Related]
[Next] [New Search]