Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Array generating fuzzy petri nets and rectangular picture languagesKaspar, A. John ; Christy, D.K. Sheena ; Gloria, D.K. ShirleyJournal of intelligent & fuzzy systems, 2023-01, Vol.45 (2), p.3433-3443 [Periódico revisado por pares]Amsterdam: IOS Press BVTexto completo disponível |
|
2 |
Material Type: Artigo
|
Fuzzy Petri nets for modelling of uncertain biological systemsLiu, Fei ; Heiner, Monika ; Gilbert, DavidBriefings in bioinformatics, 2020-01, Vol.21 (1), p.198-210 [Periódico revisado por pares]England: Oxford University PressTexto completo disponível |
|
3 |
Material Type: Artigo
|
Colored Petri nets-based control and experimental validation on three-tank system level controlBrezovan, Marius ; Precup, Radu-Emil ; Selişteanu, Dan ; Stănescu, LianaInternational journal of general systems, 2023-01, Vol.52 (1), p.1-47 [Periódico revisado por pares]Abingdon: Taylor & FrancisTexto completo disponível |
|
4 |
Material Type: Artigo
|
Maximal and Minimal Dynamic Petri Net SlicingLlorens, M. ; Oliver, J. ; Silva, J. ; Tamarit, S.Fundamenta informaticae, 2023-06, Vol.188 (4), p.239-267 [Periódico revisado por pares]Texto completo disponível |
|
5 |
Material Type: Artigo
|
Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checkingGilbert, David ; Heiner, Monika ; Ghanbar, Leila ; Chodak, JacekBMC bioinformatics, 2019-04, Vol.20 (Suppl 4), p.173-173, Article 173 [Periódico revisado por pares]England: BioMed Central LtdTexto completo disponível |
|
6 |
Material Type: Artigo
|
Coloured Petri nets for multilevel, multiscale and multidimensional modelling of biological systemsLiu, Fei ; Heiner, Monika ; Gilbert, DavidBriefings in bioinformatics, 2019-05, Vol.20 (3), p.877-886 [Periódico revisado por pares]England: Oxford University PressTexto completo disponível |
|
7 |
Material Type: Artigo
|
Integrated Offsite Logistics Scheduling Approach for High-Rise Modular Building ProjectsYang, Yi ; Pan, Mi ; Pan, WeiJournal of construction engineering and management, 2022-06, Vol.148 (6) [Periódico revisado por pares]New York: American Society of Civil EngineersTexto completo disponível |
|
8 |
Material Type: Artigo
|
Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policiesBen Attia, Hasiba ; Kahloul, Laid ; Benhazrallah, Saber ; Bourekkache, SamirInternational journal of information security, 2020-04, Vol.19 (2), p.163-187 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Artigo
|
Stop-transitions of Petri NetsDesel, Jörg ; Finthammer, Marc ter Beek, Maurice ; Koutny, Maciej ; Rozenberg, GrzegorzFundamenta informaticae, 2020-01, Vol.175 (1-4), p.143-172 [Periódico revisado por pares]Amsterdam: IOS Press BVTexto completo disponível |
|
10 |
Material Type: Artigo
|
Hybrid modelling of biological systems using fuzzy continuous Petri netsLiu, Fei ; Sun, Wujie ; Heiner, Monika ; Gilbert, DavidBriefings in bioinformatics, 2021-01, Vol.22 (1), p.438-450 [Periódico revisado por pares]England: Oxford University PressTexto completo disponível |