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:
- Título do periódico: Software engineering and formal methods
- 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: 06 maio 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 maio 06 ] 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 maio 06 ] 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
- An ontology for portability and interoperability digital documents: an approach in document engineering using ontologies
- Coupled MMASS: a formal model for non-deterministic multi-agent simulations
- Affective agents for empathic interactions
- Preserving confidentiality in ontologies: Can we develop secure ontologies?
- Depth-sensor applications for the elderly: a viable option to promote a better quality of life
- Soft institutions - a platform to design and implement socio-technical systems
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
