Modeling and simulating interaction protocols using nested Petri nets

Modeling and simulating interaction protocols using nested Petri nets (2014)

Authors:
- Fernández Venero, Mirtha Lina
- Silva, Flávio Soares Corrêa da
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:
- Publisher: Springer
- Publisher place: Cham
- Date published: 2014
ISBN: 978-3-319-05031-7
Source:
- Título: Software engineering and formal methods
Conference titles: International Conference on Software Engineering and Formal Methods - SEFM

Informações sobre o DOI: 10.1007/978-3-319-05032-4_11 (Fonte: oaDOI API)

A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

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: 20 jan. 2026.
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 2026 jan. 20 ] 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 2026 jan. 20 ] Available from: https://doi.org/10.1007/978-3-319-05032-4_11