Modeling and simulating interaction protocols using nested Petri nets (2014)
- Authors:
- Autor USP: SILVA, FLAVIO SOARES CORREA DA - IME
- Unidade: IME
- DOI: 10.1007/978-3-319-05032-4_11
- Subjects: PROTOCOLOS DE COMUNICAÇÃO; REDES DE PETRI
- Language: Inglês
- Imprenta:
- ISBN: 978-3-319-05031-7
- Source:
- Conference titles: International Conference on Software Engineering and Formal Methods - SEFM
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
FERNÁNDEZ VENERO, Mirtha Lina e SILVA, Flávio Soares Corrêa da. Modeling and simulating interaction protocols using nested Petri nets. 2014, Anais.. Cham: Springer, 2014. Disponível em: https://doi.org/10.1007/978-3-319-05032-4_11. Acesso em: 18 nov. 2024. -
APA
Fernández Venero, M. L., & Silva, F. S. C. da. (2014). Modeling and simulating interaction protocols using nested Petri nets. In Software engineering and formal methods. Cham: Springer. doi:10.1007/978-3-319-05032-4_11 -
NLM
Fernández Venero ML, Silva FSC da. Modeling and simulating interaction protocols using nested Petri nets [Internet]. Software engineering and formal methods. 2014 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1007/978-3-319-05032-4_11 -
Vancouver
Fernández Venero ML, Silva FSC da. Modeling and simulating interaction protocols using nested Petri nets [Internet]. Software engineering and formal methods. 2014 ;[citado 2024 nov. 18 ] Available from: https://doi.org/10.1007/978-3-319-05032-4_11 - Information flow and knowledge sharing
- LS2C - a platform for norm controlled social computers
- Entertainment Computing – ICEC 2013: 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings
- Assessment of fun from the analysis of facial expressions to support video game design
- Coupled MMASS: a formal model for non-deterministic multi-agent simulations
- An ontology for portability and interoperability digital documents: an approach in document engineering using ontologies
- Aspectos psicométricos do Inventário Beck de Depressão-II e do Beck Atenção Primária em usuários do Facebook
- On proof-and model-based techniques for reasoning with uncertainty
- Affective agents for empathic interactions
- Multi-objective evolution for chemical product design
Informações sobre o DOI: 10.1007/978-3-319-05032-4_11 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
