skip to main content
Idioma:
Resultados 1 2 3 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Online conformance checking using behavioural patterns
Online conformance checking using behavioural patterns
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Online conformance checking using behavioural patterns

Burattin, Andrea ; Zelst, Sebastiaan J. van ; Armas Cervantes, Abel ; Dongen, Boudewijn F. van ; Carmona Vargas, Josep

Springer 2018

Texto completo disponível

Citações Citado por
2
Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture

Lasota, Sławomir Kordon, Fabrice ; Moldt, Daniel

Application and Theory of Petri Nets and Concurrency, p.20-36 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
Archimedean Points: The Essence for Mastering Change
Archimedean Points: The Essence for Mastering Change
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Archimedean Points: The Essence for Mastering Change

Steffen, Bernhard ; Naujokat, Stefan Steffen, Bernhard

Transactions on Foundations for Mastering Change I, 2016, Vol.9960, p.22-46 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
4
Test Case Generation from Natural Language Requirements Using CPN Simulation
Test Case Generation from Natural Language Requirements Using CPN Simulation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Test Case Generation from Natural Language Requirements Using CPN Simulation

Silva, Bruno Cesar F. ; Carvalho, Gustavo ; Sampaio, Augusto Cornélio, Márcio ; Roscoe, Bill

Formal Methods: Foundations and Applications, p.178-193 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
5
Towards Optimal Collaboration of Policies in the Two-Phase Scheduling of Cloud Tasks
Towards Optimal Collaboration of Policies in the Two-Phase Scheduling of Cloud Tasks
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Towards Optimal Collaboration of Policies in the Two-Phase Scheduling of Cloud Tasks

Xu, Cong ; Yang, Jiahai ; Fu, Di ; Zhang, Hui Hsu, Ching-Hsien ; Shi, Xuanhua ; Salapura, Valentina

Network and Parallel Computing, p.306-320 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
How a Model Based on P-temporal Petri Nets Can Be Used to Study Aggregation Behavior
How a Model Based on P-temporal Petri Nets Can Be Used to Study Aggregation Behavior
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

How a Model Based on P-temporal Petri Nets Can Be Used to Study Aggregation Behavior

Debbat, Fatima ; Monmarché, Nicolas ; Gaucher, Pierre ; Slimane, Mohamed Lutton, Evelyne ; Schoenauer, Marc ; Bonnevay, Stéphane ; Monmarché, Nicolas ; Legrand, Pierrick

Artificial Evolution, 2016, p.191-204 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
Research on Dynamic Generation of Digital Emergency Plan Based on Variable Structure Petri Net
Research on Dynamic Generation of Digital Emergency Plan Based on Variable Structure Petri Net
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Research on Dynamic Generation of Digital Emergency Plan Based on Variable Structure Petri Net

Huang, Weidong ; Ouyang, Yafei ; Ding, Banglan Zu, Qiaohong ; Hu, Bo

Human Centered Computing, 2016, Vol.9567, p.172-182 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
8
Characterising Petri Net Solvable Binary Words
Characterising Petri Net Solvable Binary Words
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Characterising Petri Net Solvable Binary Words

Best, Eike ; Erofeev, Evgeny ; Schlachter, Uli ; Wimmel, Harro Kordon, Fabrice ; Moldt, Daniel

Application and Theory of Petri Nets and Concurrency, p.39-58 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
9
Fault Ascription in Concurrent Systems
Fault Ascription in Concurrent Systems
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Fault Ascription in Concurrent Systems

Gössler, Gregor ; Stefani, Jean-Bernard Loreti, Michele ; Ganty, Pierre

Trustworthy Global Computing, 2016, Vol.9533, p.79-94 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
10
Risk Modeling and Analysis of Interdependencies of Critical Infrastructures Using Colored Timed Petri Nets
Risk Modeling and Analysis of Interdependencies of Critical Infrastructures Using Colored Timed Petri Nets
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Risk Modeling and Analysis of Interdependencies of Critical Infrastructures Using Colored Timed Petri Nets

Agathangelou, Chrysovalandis ; Georgiou, Chryssis ; Papailiou, Ileana ; Philippou, Anna ; Pouis, Loucas ; Tertytchny, Georgios ; Vakana, Despina Tryfonas, Theo ; Askoxylakis, Ioannis

Human Aspects of Information Security, Privacy, and Trust, p.607-618 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
Resultados 1 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (27)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.