A Petri Net Theory-Based Method for Modeling Web Service-Based Systems

Han, Rendong; Liu, Kecheng; Ju, Yanbing; Jing-hua, Zhao

doi:10.1109/wicom.2008.2839

Cited by 7 publications

(12 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Marking M i is called reachable from marking M if there is a sequence of transitions firings which transform M into [Han et al, 2008].…”

Section: Petri Netmentioning

confidence: 99%

“…it can progress through some firing sequences. From a marking M 0 , it can be deadlock-free immediately, yet it can have a sequence of firings which can lead the PN to a deadlock situation [Han et al, 2008]. For this reason, different levels of liveness for transition t, and marking M 0 , can be considered.…”

Section: Petri Netmentioning

confidence: 99%

“…These services, on the other hand, can be seen as computational resources of the Internet and can be shared among its users to meet common interests. However, according Han et al [2008], conventional computing cannot meet resources sharing, which motivated the development of applications based on Web services (WS), which provide advantages to share resources and to develop applications of greater complexity.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Modeling of manufacturing execution in disperse productive systems using service oriented technique

Fattori

Junqueira

Filho

2011

IFAC Proceedings Volumes

View full text Add to dashboard Cite

“…Marking M i is called reachable from marking M if there is a sequence of transitions firings which transform M into [Han et al, 2008].…”

Section: Petri Netmentioning

confidence: 99%

Section: Petri Netmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Modeling of manufacturing execution in disperse productive systems using service oriented technique

Fattori

Junqueira

Filho

2011

IFAC Proceedings Volumes

View full text Add to dashboard Cite

“…Uma rede é dita segura se ela é 1-limitada, ou seja, 1 para todos lugares da rede (HAN, et al, 2008) (ZURAWSKI e ZHOU , 1994).…”

Section: Limitabilidade E Segurançaunclassified

Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança.

Ferrarezi¹

View full text Add to dashboard Cite

“…A Figura (8) ilustra os principais elementos da RdP L/T apresentada nesta seção. 1989;LI;ZHOU, 2008;ZURAWSKI;ZHOU, 1994;YOO;JEONG;CHO, 2010;HAN et al, 2008;XU et al, 2007), istoé, Mé a marcação da rede, onde M = m p 1 , m p 2 , ..., m pr (r ∈ N * )é definida pelo vetor das marcações de cada lugar p i contendo o número de marcas e M 0é a marcação inicial.…”

Section: Production Flow Schemaunclassified

Controle de sistemas reconfiguráveis de manufatura.

Silva¹

View full text Add to dashboard Cite

A capacidade de reconfiguração de sistemas de manufatura tem sido procurada pelas empresas para assegurar características de agilidade, eficiência e flexibilidade para atender as mudanças de tipo/quantidade de produtos, processos, recursos e, além disso, para assegurar a devida reaçãoà ocorrência de falhas. Por outro lado, a "Indústria 4.0" impõe novos desafios para os sistemas de controle, tais como a integração de tecnologias de interação entre homem e máquina em cadeias de valor compondo uma rede de plantas industriais geograficamente dispersas. O controle de sistemas reconfiguráveis de manufatura deve considerar: (i) funcionalidades de sistemas distribuídos e dispersos, tais como agilidade de respostaàs mudanças, autonomia e colaboração entre os componentes para alcançar os objetivos do sistema de forma conjunta; (ii) interfaces para sua interoperabilidade e portabilidade; (iii) modularização para facilitar a manutenção, expansão e atualização do sistema, evitando a sobreposição de escopos; e (iv) mecanismos de controle para supervisionar as ações e interações dos componentes, o diagnóstico e a tomada de decisão. O pleno atendimento a estes requisitos nãoé trivial e formalismos para o desenvolvimento de soluções devem ser adotados. Uma soluçãoé combinar técnicas voltadas para sistema multiagente e holon com arquitetura orientada a serviço através de uma adequada técnica de modelagem usando extensões de rede de Petri: Production Flow Schema e Input Output Place Transition.Portanto, este trabalho propõe uma arquitetura de controle e o método de modelagem de seus componentes para sistemas reconfiguráveis de manufatura combinando estas técnicas e considerando os aspectos de personalização, convertibilidade, escalabilidade, modularidade, integrabilidade, diagnosticabilidade, interoperabilidade e colaboração entre os componentes do sistema de controle, inclusive do homem. Um exemplo de aplicaçãoé apresentado para demonstrar a viabilidade da proposta e comprovar os resultados alcançados.Palavras-chave: Sistema de manufatura. Reconfiguração de sistema. Arquitetura orientada a serviços. Sistema multiagente. Holon. Rede de Petri. ABSTRACTThe reconfiguration ability of the manufacturing systems has been approached by companies to ensure agility, efficiency and flexibility characteristics to address the changes of type/quantity of products, processes and resources and, furthermore, to ensure proper reaction to the fault occurrence. On the other hand, the"Industry 4.0"imposes new challenges for control systems, such as interaction between man and machine into value chains composing a network of geographically dispersed industrial plants. The control of reconfigurable manufacturing systems should consider: (i) functionalities requirements of distributed and disperse systems, such as responsiveness to changes, autonomy and collaboration among components to achieve the global system aim; (ii) interfaces for interoperability and portability; (iii) modularity to facilitate maintenance, expansion and upgrade of the system, avoi...

show abstract

A Petri Net Theory-Based Method for Modeling Web Service-Based Systems

Cited by 7 publications

References 14 publications

Modeling of manufacturing execution in disperse productive systems using service oriented technique

Modeling of manufacturing execution in disperse productive systems using service oriented technique

Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança.

Controle de sistemas reconfiguráveis de manufatura.

Contact Info

Product

Resources

About