Composition of Petri nets models in service-oriented industrial automation

Mendes, Joaquim; Leitão, Paulo; Restivo, Francisco; Colombo, Armando Walter

doi:10.1109/indin.2010.5549677

Cited by 10 publications

(3 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Service interaction patterns define recurring interaction patterns among services but, differently from Workflow Patterns, they are informally specified and therefore not employable in this work. Variants of Petri nets have been used for system modelling [19] and static analysis [20]. Finally WPI used WPs as a tool to evaluate the expressive power of business process languages, in particular for the cases of BPEL [21] and BPML [22].…”

Section: Discussionmentioning

confidence: 99%

Service-Oriented Architectures: from Design to Production exploiting Workflow Patterns

GIALLORENZO¹,

GABBRIELLI²,

Montesi³

2014

ADCAIJ

View full text Add to dashboard Cite

In Service-Oriented Architectures (SOA), services are composed by coordinating their communications into a flow of interactions. Coloured Petri nets (CPN) offer a formal yet easy tool for modelling interactions in SOAs, however mapping abstract SOAs into executable ones requires a non-trivial and time-costly analysis. Here, we propose a methodology that maps CPN-modelled SOAs into Jolie SOAs (our target language), exploiting a collection of recurring control-flow patterns, called Workflow Patterns, as composable blocks of the translation. We validate our approach with a realistic use case. In addition, we pragmatically asses the expressiveness of Jolie wrt the considered WPs.

show abstract

Section: Discussionmentioning

confidence: 99%

Service-Oriented Architectures: from Design to Production exploiting Workflow Patterns

GIALLORENZO¹,

GABBRIELLI²,

Montesi³

2014

ADCAIJ

View full text Add to dashboard Cite

show abstract

“…PetriDotNet also supports efficient CTL model checking of P/T nets with the saturation algorithm (Section 3.4), as demonstrated in the railway interlocking case study (Section 4.5). Mendes et al described services of a service-oriented architecture with Petri nets and proposed formal composition techniques to model more complex services [71]. Their experiment on a flexible transport system revealed that modelling the individual components could be done before specifying the control layout.…”

Section: Related Work -Petri Nets In Industrial Case Studiesmentioning

confidence: 99%

Industrial applications of the PetriDotNet modelling and analysis tool

Vörös

Darvas

Hajdu

et al. 2018

Science of Computer Programming

View full text Add to dashboard Cite

Since their invention, Petri nets have provided modelling and analysis methods to support the design of correct, reliable and robust systems. This motivated our work to develop PetriDotNet, a Petri net editor and analysis tool. In this paper we overview the supported modelling formalisms and the analysis methods included in PetriDotNet. Next, we present eight different industrial case studies, demonstrating the wide variety of scenarios where Petri nets and PetriDotNet can help the design, development and analysis of industrial systems. Our original goal with PetriDotNet was to provide an educational tool to our students, however our efforts led to a framework being able to serve both academic and industrial needs.

show abstract

“…This is more common in service wiring approaches (e.g., Promela [43] and ASM [44]) because the composition can be developed in different types of languages, as long as they consider the structure of the wiring model (i.e., ports and wires). Some approaches also focus on service-oriented automation systems (e.g., Petri nets [45]). Few approaches use FDTs that represent coordination (e.g., FSP [46] [47]) and orchestration languages (e.g., Petri net [48]).…”

Section: Cmentioning

confidence: 99%

A Survey of Formalization Approaches to Service Composition

Campos

Rosa

Pires

2014

2014 IEEE International Conference on Services Computing

View full text Add to dashboard Cite

Service-Oriented Computing (SOC) was introduced some years ago as a paradigm that allows companies to expose their core competencies as services. Yet, we can only benefit from the full potential of SOC if we explore the possibility of composing services. In practice, service composition enables the development of complex systems by combining existing services, which makes it possible to integrate business processes across different companies. Several languages have been defined to specify service compositions, such as WS-BPEL and WS-CDL. However, these languages lack formal semantics, so that they do not allow the verification of the service composition behavior by means of properties such as the absence of deadlocks and livelocks. In this paper, we present a structured survey on initiatives in which formal description techniques were applied to specify and possibly verify service compositions. As a result of this study, we identified some open challenges and some topics for future work.

show abstract

Composition of Petri nets models in service-oriented industrial automation

Cited by 10 publications

References 17 publications

Service-Oriented Architectures: from Design to Production exploiting Workflow Patterns

Service-Oriented Architectures: from Design to Production exploiting Workflow Patterns

Industrial applications of the PetriDotNet modelling and analysis tool

A Survey of Formalization Approaches to Service Composition

Contact Info

Product

Resources

About