Menu

Filtros : "REDES DE PETRI (MODELAGEM)" Limpar

Filtros

Refine with date range

  • 1

1 - 3 (3 records)

  • Trabalho de evento

    Service composition modeling using interpreted Petri net for system integration (2011)

    Fattori, Caio Cesar; Junqueira, Fabrício ; Santos Filho, Diolino Jose dos ; Miyagi, Paulo Eigi

    Source: Proceedings. Conference titles: IEEE International Conference on Mechatronics. Unidade: EP

    Subjects: REDES DE PETRI (MODELAGEM), SISTEMAS DE MANUFATURAS

    PrivadoAcesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FATTORI, Caio Cesar et al. Service composition modeling using interpreted Petri net for system integration. 2011, Anais.. Sl: IEEE, 2011. Disponível em: https://doi.org/10.1109/ICMECH.2011.5971204. Acesso em: 19 fev. 2026.

    • APA

      Fattori, C. C., Junqueira, F., Santos Filho, D. J. dos, & Miyagi, P. E. (2011). Service composition modeling using interpreted Petri net for system integration. In Proceedings. Sl: IEEE. doi:10.1109/ICMECH.2011.5971204

    • NLM

      Fattori CC, Junqueira F, Santos Filho DJ dos, Miyagi PE. Service composition modeling using interpreted Petri net for system integration [Internet]. Proceedings. 2011 ;[citado 2026 fev. 19 ] Available from: https://doi.org/10.1109/ICMECH.2011.5971204

    • Vancouver

      Fattori CC, Junqueira F, Santos Filho DJ dos, Miyagi PE. Service composition modeling using interpreted Petri net for system integration [Internet]. Proceedings. 2011 ;[citado 2026 fev. 19 ] Available from: https://doi.org/10.1109/ICMECH.2011.5971204

  • Trabalho de evento

    Using time petri nets for modeling and verification of timed constrained workflow systems (2007)

    Del Foyo, Pedro Manuel Gonzalez; Silva, José Reinaldo

    Source: Proceedings of COBEM. Conference titles: International Congress of Mechanical Engineering. Unidade: EP

    Subjects: REDES DE PETRI (MODELAGEM), CONTROLE DE PROCESSOS, GESTÃO POR PROCESSOS, LÓGICA

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

    • ABNT

      DEL FOYO, Pedro Manuel Gonzalez e SILVA, José Reinaldo. Using time petri nets for modeling and verification of timed constrained workflow systems. 2007, Anais.. Brasília: ABCM, 2007. Disponível em: https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf. Acesso em: 19 fev. 2026.

    • APA

      Del Foyo, P. M. G., & Silva, J. R. (2007). Using time petri nets for modeling and verification of timed constrained workflow systems. In Proceedings of COBEM. Brasília: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf

    • NLM

      Del Foyo PMG, Silva JR. Using time petri nets for modeling and verification of timed constrained workflow systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2026 fev. 19 ] Available from: https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf

    • Vancouver

      Del Foyo PMG, Silva JR. Using time petri nets for modeling and verification of timed constrained workflow systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2026 fev. 19 ] Available from: https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf

  • Dissertação (Mestrado)

    Modelagem de sistemas de eventos discretos utilizando rede de Petri virtual (2004)

    Ferraz, Patrícia; Inamasu, Ricardo Yassushi (Orientador)

    Unidade: EESC

    Assunto: REDES DE PETRI (MODELAGEM)

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      FERRAZ, Patrícia. Modelagem de sistemas de eventos discretos utilizando rede de Petri virtual. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2004. Disponível em: http://www.teses.usp.br/teses/disponiveis/18/18135/tde-12022016-165018/. Acesso em: 19 fev. 2026.

    • APA

      Ferraz, P. (2004). Modelagem de sistemas de eventos discretos utilizando rede de Petri virtual (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/18/18135/tde-12022016-165018/

    • NLM

      Ferraz P. Modelagem de sistemas de eventos discretos utilizando rede de Petri virtual [Internet]. 2004 ;[citado 2026 fev. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/18/18135/tde-12022016-165018/

    • Vancouver

      Ferraz P. Modelagem de sistemas de eventos discretos utilizando rede de Petri virtual [Internet]. 2004 ;[citado 2026 fev. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/18/18135/tde-12022016-165018/
  • 1

1 - 3 (3 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2026