Ver registro no DEDALUS
Exportar registro bibliográfico

Metrics


Metrics:

Mapeamento do modelo de processos de negócio do EKD em redes de Petri (2008)

  • Authors:
  • USP affiliated authors: PADUA, SILVIA INÊS DALLAVALLE DE - FEARP
  • USP Schools: FEARP
  • DOI: 10.1590/s0103-65132008000200005
  • Subjects: REDES DE PETRI; MODELAGEM DE DADOS; ENGENHARIA DE PRODUÇÃO
  • Language: Português
  • Abstract: O EKD - Enterprise Knowledge Development - é uma metodologia que fornece uma forma sistemática e controlada de analisar, entender, desenvolver e documentar uma organização. Infelizmente não possui uma sintaxe e semântica bem definidas, dificultando análises mais complexas dos modelos. Como resultado, o modelo de processos de negócio do EKD pode ser ambíguo e de difícil análise, principalmente em sistemas mais complexos, não sendo possível verificar a consistência e completude do modelo. Neste trabalho, esses problemas serão tratados sob uma abordagem baseada em redes de Petri. Assim, este trabalho tem como objetivo apresentar o mapeamento do modelo de processos de negócios do EKD em redes de Petri. O mapeamento permitirá que o modelo de processos de negócios do EKD seja analisado de forma que seja possível verificar a consistência e completude do modelo
  • Imprenta:
  • Source:
    • Título do periódico: Produção
    • ISSN: 0103-6513
    • Volume/Número/Paginação/Ano: v. 18, n. 2, p. 260-274, 2008
  • Acesso online ao documento

    DOI or search this record in
    Informações sobre o DOI: 10.1590/s0103-65132008000200005 (Fonte: oaDOI API)
    • Este periódico é de acesso aberto
    • Este artigo é de acesso aberto
    • URL de acesso aberto
    • Cor do Acesso Aberto: hybrid
    • Licença: cc-by-nc
    Informações sobre o Citescore
  • Título: Producao

    ISSN: 0103-6513

    Citescore - 2017: 0.38

    SJR - 2017: 0.2

    SNIP - 2017: 0.479


  • Exemplares físicos disponíveis nas Bibliotecas da USP
    BibliotecaCód. de barrasNúm. de chamada
    FEARP20700015290-Spcd 1730780
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      PÁDUA, Sílvia Inês Dallavalle de; INAMASU, Ricardo Yassushi. Mapeamento do modelo de processos de negócio do EKD em redes de Petri. Produção, São Paulo, v. 18, n. 2, p. 260-274, 2008. DOI: 10.1590/s0103-65132008000200005.
    • APA

      Pádua, S. I. D. de, & Inamasu, R. Y. (2008). Mapeamento do modelo de processos de negócio do EKD em redes de Petri. Produção, 18( 2), 260-274. doi:10.1590/s0103-65132008000200005
    • NLM

      Pádua SID de, Inamasu RY. Mapeamento do modelo de processos de negócio do EKD em redes de Petri. Produção. 2008 ; 18( 2): 260-274.
    • Vancouver

      Pádua SID de, Inamasu RY. Mapeamento do modelo de processos de negócio do EKD em redes de Petri. Produção. 2008 ; 18( 2): 260-274.

    Referências citadas na obra
    Autor: AALST W. M. P. V. D.
    Título: Formalization and verification of event-driven process chains
    Título do periódico: Information and Software Technology
    Volume: 41
    Fascículo: 10
    Primeira página: 639
    Ano: 1999
    DOI: 10.1016/S0950-5849(99)00016-6
    Autor: AALST W. M. P. V. D.
    Ano: 1997
    Autor: AALST W. M. P. V. D.
    Título: The Aplication of petri nets to workflow management
    Título do periódico: The Journal of Circuits, Systems and Computers
    Volume: 8
    Fascículo: 1
    Primeira página: 21
    Ano: 1998
    DOI: 10.1142/S0218126698000043
    Autor: AALST W. M. P. V. D.
    Primeira página: 161
    Ano: 2000
    Autor: AALST W. M. P. V. D
    Título: Verification of workflow task structures a petri-net-based approach
    Título do periódico: Information Systems
    Volume: 25
    Fascículo: 1
    Primeira página: 43
    Ano: 2000
    DOI: 10.1016/S0306-4379(00)00008-9
    Autor: AALST W. V. D.
    Ano: 2002
    Autor: ADAM N. R.
    Título: Modeling and analysis of workflows using petri nets
    Título do periódico: Journal of Intelligent Information Systems
    Volume: 10
    Fascículo: 2
    Primeira página: 1
    Ano: 1998
    Autor: BADOUEL E.
    Ano: 1998
    Autor: BERIO G.
    Ano: 2003
    Autor: BUBENKO JR. J. A.
    Ano: 1998
    Autor: CHEN-BURGER Y.
    Ano: 2001
    Autor: CHEN-BURGER Y.
    Ano: 2003
    Autor: CHEN-BURGER Y.
    Ano: 2002
    Autor: CHRZASTOWSKI-WACHTEL P.
    Primeira página: 336
    Ano: 2003
    Autor: CINDIO F.
    Primeira página: 257
    Ano: 1998
    Autor: DALLAVALLE S. I.
    Ano: 2001
    Autor: DERHNERT J.
    Primeira página: 66
    Ano: 2003
    Autor: DELLAROCAS C.
    Primeira página: 50
    Ano: 2000
    Autor: DESEL J.
    Primeira página: 129
    Ano: 2000
    Autor: DONGEN V. B. F
    Título: Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants
    Título do periódico: Computers in Industry
    Volume: 58
    Fascículo: 6
    Primeira página: 578
    Ano: 2007
    DOI: 10.1016/j.compind.2007.01.001
    Autor: ELLIS C. A.
    Primeira página: 140
    Ano: 1996
    Autor: ESHUIS R.
    Primeira página: 296
    Ano: 2003
    Autor: FERSCHA A.
    Primeira página: 222
    Ano: 1994
    Autor: GRIGOROVA K.
    Primeira página: 95
    Ano: 2003
    Autor: GUAN F.
    Título: Grid-Flow: a Grid-enabled scientific workflow system with a Petri-net-based interface
    Título do periódico: Concurrency and Computation: Practice and Experience
    Volume: 18
    Fascículo: 10
    Primeira página: 1115
    Ano: 2006
    DOI: 10.1002/cpe.988
    Autor: HEE K. M.
    Primeira página: 142
    Ano: 2000
    Autor: HEE K. M. V.
    Primeira página: 142
    Ano: 2000
    Autor: HOLT A. P.
    Primeira página: 99
    Ano: 2000
    DOI: 10.1007/3-540-45594-9_7
    Autor: JANSSENS G. K.
    Primeira página: 1
    Ano: 2000
    Autor: JONKERS H.
    Ano: 2003
    Autor: JONKERS H.
    Ano: 2003
    Autor: JUNGINGER S.
    Autor: KIRITSIS D.
    Título: Petri net techniques for process planning and cost estimation
    Título do periódico: Advances in Engineering Software
    Volume: 30
    Primeira página: 375
    Ano: 1999
    DOI: 10.1016/S0965-9978(98)00126-4
    Autor: KNOLMAYER G.
    Primeira página: 16
    Ano: 2000
    Autor: KOUBARAKIS M.
    Título: A formal framework for business process modelling and design
    Título do periódico: Information Systems
    Volume: 27
    Fascículo: 5
    Primeira página: 299
    Ano: 2002
    DOI: 10.1016/S0306-4379(01)00055-2
    Autor: KRUCHTEN P.
    Ano: 2000
    Autor: LENZ K
    Primeira página: 89
    Ano: 2005
    Autor: LI J.
    Título: MAS: a declarative formalism for hierarchical representation of procedural knowledge
    Título do periódico: IEEE Transaction on Knowledge and Data Engineering
    Volume: 6
    Fascículo: 4
    Primeira página: 639
    Ano: 1994
    DOI: 10.1109/69.298180
    Autor: McDERMID D. C.
    Primeira página: 58
    Ano: 2003
    Autor: MERZ M.
    Primeira página: 1
    Ano: 1995
    Autor: MEVIUS M.
    Primeira página: 987
    Ano: 2005
    Autor: MOLD D.
    Primeira página: 254
    Ano: 2000
    Autor: NEIGER D.
    Primeira página: 72
    Ano: 2003
    Autor: NURCAN A.
    Título: A multi-method for defining the organizational change
    Título do periódico: Journal of Information and Software Technology
    Volume: 45
    Fascículo: 2
    Primeira página: 61
    Ano: 2003
    DOI: 10.1016/S0950-5849(02)00162-3
    Autor: NURCAN S.
    Título: Analysis and design of co-operative work process a framework
    Título do periódico: Information and Software Technology
    Volume: 40
    Fascículo: 3
    Primeira página: 143
    Ano: 1998
    DOI: 10.1016/S0950-5849(98)00048-2
    Autor: NURCAN S.
    Ano: 2003
    Autor: NUTT G. J.
    Título: The Evolution towards
    Título do periódico: Flexible workflow systems. Distributed Systems Engineering
    Volume: 3
    Fascículo: 4
    Primeira página: 276
    Ano: 1996
    Autor: OBERWEIS A.
    Título: An Integrated approach for the specification of processes and related complex structured objects in business applications
    Título do periódico: Decision Support Systems
    Volume: 17
    Fascículo: 1
    Primeira página: 31
    Ano: 1996
    DOI: 10.1016/0167-9236(95)00021-6
    Autor: OBERWEIS A.
    Primeira página: 557
    Ano: 1997
    Autor: OU-YANG C.
    Título: BPMN-based business process model feasibility analysis: a petri net approach
    Título do periódico: International Journal of Production Research
    Volume: 45
    Fascículo: 12
    Ano: 2007
    Autor: PÁDUA S.I.D.
    Ano: 2001
    Autor: PÁDUA S. I. D.
    Ano: 2004
    Autor: PÁDUA S. I. D.
    Título: Modelagem Organizacional: captura dos requisitos organizacionais no desenvolvimento de sistemas de informação
    Título do periódico: Revista Gestão e Produção
    Volume: 11
    Fascículo: 2
    Primeira página: 1
    Ano: 2004
    Autor: PÁDUA S. I. D.
    Ano: 2003
    Autor: PÁDUA S. I. D.
    Título: O potencial das redes de Petri em modelagem e análise de processos de negócios
    Título do periódico: Revista Gestão e Produção
    Volume: 11
    Primeira página: 1
    Ano: 2004
    Autor: PÁDUA S. I. D
    Ano: 2003
    Autor: PÁDUA S. I D.
    Ano: 2002
    Autor: PERSSON A.
    Primeira página: 978
    Ano: 2000
    Autor: RINDERLE S.
    Primeira página: 41
    Ano: 2003
    Autor: ROLLAND C.
    Ano: 2007
    Autor: ROLLAND C
    Título: Guiding Lyee User Requirements Capture
    Título do periódico: Knowledge Based System Journal (KBSJ)
    Volume: 16
    Fascículo: 7
    Primeira página: 351
    Ano: 2003
    DOI: 10.1016/j.knosys.2003.08.001
    Autor: ROLLAND C.
    Título: A Decision making pattern for guiding the enterprise knowledge development process
    Título do periódico: Journal of Information and Software Technology
    Volume: 42
    Fascículo: 5
    Primeira página: 313
    Ano: 2000
    DOI: 10.1016/S0950-5849(99)00089-0
    Autor: SALIMIFARD S.
    Título: Petri net based modelling of workflow systems: an overview
    Título do periódico: European Journal of Operational Research
    Volume: 134
    Fascículo: 3
    Primeira página: 664
    Ano: 2001
    DOI: 10.1016/S0377-2217(00)00292-7
    Autor: SANTANDER V. F. A.
    Ano: 2002
    Autor: SCHÖMIG A. K.
    Ano: 1995
    Autor: TAYLOR R.
    Título: Modelling, myth vs reality, map vs territory
    Título do periódico: Technical Reports HPL-2003-246 20031211 External
    Autor: VERBBEK H. M. W
    Título: Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants
    Título do periódico: The Computer Journal Advance
    Ano: 2007
    DOI: 10.1093/comjnl/bxl074
    Autor: VERBEEK H. M. W.
    Ano: 2002
    Autor: VOORHOEVE M.
    Primeira página: 184
    Ano: 2000
    Autor: WIKARSKI D.
    Ano: 1996
    Ano: 1996
    Ano: 1996
    Autor: ZHANG L.
    Primeira página: 1
    Ano: 2006
    Autor: ZISMAN M. D.
    Ano: 1977