Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
A Compositional Approach for Complex Event Pattern Modeling and Transformation to Colored Petri Nets with Black Sequencing TransitionsValero, Valentin ; Diaz, Gregorio ; Boubeta-Puig, Juan ; Macia, Hermenegilda ; Brazalez, EnriqueIEEE transactions on software engineering, 2022-07, Vol.48 (7), p.2584-2605 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
2 |
Material Type: Artigo
|
Scheduling of Resource Allocation Systems with Timed Petri Nets: A SurveyHuang, Bo ; Zhou, Mengchu ; Lu, Xiaoyu Sean ; Abusorrah, AbdullahACM computing surveys, 2023-11, Vol.55 (11), p.1-27, Article 230 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
3 |
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 |
|
4 |
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 |
|
5 |
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 |
|
6 |
Material Type: Artigo
|
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systemsJensen, Kurt ; Kristensen, Lars Michael ; Wells, LisaInternational journal on software tools for technology transfer, 2007-06, Vol.9 (3-4), p.213-254 [Periódico revisado por pares]Heidelberg: Springer Nature B.VTexto completo disponível |
|
7 |
Material Type: Artigo
|
A Pareto-based genetic algorithm for multi-objective scheduling of automated manufacturing systemsZan, Xin ; Wu, Zepeng ; Guo, Cheng ; Yu, ZhenhuaAdvances in mechanical engineering, 2020-01, Vol.12 (1), p.168781401988529 [Periódico revisado por pares]London, England: SAGE PublicationsTexto completo disponível |
|
8 |
Material Type: Artigo
|
Modeling, reasoning, and application of fuzzy Petri net model: a surveyJiang, Wei ; Zhou, Kai-Qing ; Sarkheyli-Hägele, Arezoo ; Zain, Azlan MohdThe Artificial intelligence review, 2022-12, Vol.55 (8), p.6567-6605 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
|
9 |
Material Type: Artigo
|
The ORIS Tool: Quantitative Evaluation of Non-Markovian SystemsPaolieri, Marco ; Biagi, Marco ; Carnevali, Laura ; Vicario, EnricoIEEE transactions on software engineering, 2021-06, Vol.47 (6), p.1211-1225 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
10 |
Material Type: Artigo
|
A novel fluid-based modeling approach using extended Hybrid Petri nets for power consumption monitoring in wireless autonomous IoT devices, with energy harvesting capability and triple sleeping strategyOukas, Nourredine ; Boulif, Menouar ; Arab, KarimaWireless networks, 2024-04, Vol.30 (3), p.1869-1892 [Periódico revisado por pares]New York: Springer USTexto completo disponível |