skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Arxiv.Org remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Preventing Object-centric Discovery of Unsound Process Models for Object Interactions with Loops in Collaborative Systems: Extended Version
Preventing Object-centric Discovery of Unsound Process Models for Object Interactions with Loops in Collaborative Systems: Extended Version
Material Type:
Artigo 		Adicionar ao Meu Espaço

Preventing Object-centric Discovery of Unsound Process Models for Object Interactions with Loops in Collaborative Systems: Extended Version

Janik-Vasily Benzin ; Park, Gyunam ; Rinderle-Ma, Stefanie

arXiv.org, 2023-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
Growth of Replacements
Growth of Replacements
Material Type:
Artigo 		Adicionar ao Meu Espaço

Growth of Replacements

Bui, Vuong

arXiv.org, 2022-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Place Bisimilarity is Decidable, Indeed
Place Bisimilarity is Decidable, Indeed
Material Type:
Artigo 		Adicionar ao Meu Espaço

Place Bisimilarity is Decidable, Indeed

Gorrieri, Roberto

arXiv.org, 2024-03

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Additive Invariants of Open Petri Nets
Additive Invariants of Open Petri Nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Additive Invariants of Open Petri Nets

Benjamin Merlin Bumpus ; Libkind, Sophie ; Jordy Lopez Garcia ; Sorkatti, Layla ; Tenka, Samuel

arXiv.org, 2024-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
A concise proof of Commoner's theorem
A concise proof of Commoner's theorem
Material Type:
Artigo 		Adicionar ao Meu Espaço

A concise proof of Commoner's theorem

Jancar, Petr

arXiv.org, 2024-01

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets

Cesco, Arnaldo ; Gorrieri, Roberto

arXiv.org, 2023-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version)
Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version)

Heizmann, Matthias ; Klumpp, Dominik ; Schüssele, Frank ; Nitzke, Lars

arXiv.org, 2023-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
Methods for Efficient Unfolding of Colored Petri Nets
Methods for Efficient Unfolding of Colored Petri Nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Methods for Efficient Unfolding of Colored Petri Nets

Bilgram, Alexander ; Jensen, Peter G ; Pedersen, Thomas ; Srba, Jiri ; Taankvist, Peter H

arXiv.org, 2023-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
Concurrent Hyperproperties
Concurrent Hyperproperties
Material Type:
Artigo 		Adicionar ao Meu Espaço

Concurrent Hyperproperties

Finkbeiner, Bernd ; Ernst-Rüdiger Olderog

arXiv.org, 2023-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Object-Centric Alignments
Object-Centric Alignments
Material Type:
Artigo 		Adicionar ao Meu Espaço

Object-Centric Alignments

Liss, Lukas ; Jan Niklas Adams ; Wil M P van der Aalst

arXiv.org, 2023-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

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

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

Buscando em bases de dados remotas. Favor aguardar.