High-level Petri nets for the process description and control in service-oriented manufacturing systems

@article{Mendes2012HighlevelPN,
  title={High-level Petri nets for the process description and control in service-oriented manufacturing systems},
  author={J. Marco Mendes and Paulo Leit{\~a}o and Armando Walter Colombo and Francisco Restivo},
  journal={International Journal of Production Research},
  year={2012},
  volume={50},
  pages={1650 - 1665}
}
The use of service-orientation principles in manufacturing systems is a promising solution to achieve modularity, flexibility, re-configurability and interoperability. Crucial issues in these service-oriented systems are the description and co-ordination of the execution of the services offered by the distributed entities. This paper introduces an integrated approach for the design, analysis, validation, simulation and process execution of service-oriented manufacturing systems, using the High… 
Service-based manufacturing systems: modelling and control
TLDR
This paper provides an alternative to enhance service orchestration capabilities using supervisory control techniques, and practical implications of handling large state-spaces are discussed and examples are provided.
A service- and multi-agent-oriented manufacturing automation architecture: An IEC 62264 level 2 compliant implementation
This paper describes an approach for developing and implementing a service- and multi-agent-oriented manufacturing automation architecture, being particularly focused on functional features of the
Choreographies in Microservice-Based Automation Architectures : Next Level of Flexibility for Industrial Cyber-Physical Systems
TLDR
It is shown that choreographies have their strengths in the decentral association of (sub-)elementary services to new and independent automation functions so that the services of production modules can be combined more flexibly through decentralized control.
A service-oriented simulation integration platform for hierarchical manufacturing planning and control
In this paper, a coherent and comprehensive distributed simulation platform is proposed to support hierarchical manufacturing planning and control. This platform enables integration of various
Analyzing and Completing Middleware Designs for Enterprise Integration Using Coloured Petri Nets
TLDR
A translation of Enterprise Integration Patterns into a Coloured Petri Net allows to investigate and improve middleware system designs in early stages of development in a number of use cases, including validation and performance analysis using simulation.
Orchestration vs. Choreography Functional Association for Future Automation Systems
TLDR
A terminology foundation in the domain of micro-service automation systems followed by a characterization of orchestration and choreography in the automation context show that both methods complement each other ideally.
Study of manufacturing resource perception and process control of a radio-frequency-identification-enabled decentralized flexible manufacturing system
TLDR
A Petri Net model-driven methodology for the development, validation, and operation of a radio-frequency identification-enabled decentralized flexible manufacturing system, where each manufacturing resource becomes an autonomous agent and can make self-decisions and update its status through the twinned models.
S-BPM’s Industrial Capabilities
TLDR
S-BPM’s capabilities to support workplace and process design as well as process execution in production companies are investigated, structured along the three dimensions of socio-technical systems which need to be considered for Industry 4.0 developments.
A Distributed Data Processing Perspective on Industrial Real-Time Systems
TLDR
This thesis applies principles from distributed data processing systems to SOAs in industrial manufacturing and derives distributed execution plans with verifiable real-time guarantees within a real-world demonstrator.
Agent-based manufacturing service discovery method for cloud manufacturing
The development of new generation information technology has brought opportunities for industrial production model innovation. Especially, the cloud computing, Internet of Things, and big data
...
1
2
3
...

References

SHOWING 1-10 OF 38 REFERENCES
Customizable service-oriented Petri net controllers
In industrial automation, service-orientation is a relatively new and ascending concept and thus, concrete integrated methodologies are missing to accomplish the required development tasks. A
Composition of Petri nets models in service-oriented industrial automation
TLDR
This paper discusses the formal composition of Petri nets models used for the process description and control in service-oriented automation systems and considers two forms for the composition of services, notably the offline composition applied during the design phase and the online composition related to the synchronization of PetRI nets models on the fly.
A temporised Petri net approach for design, modelling and analysis of flexible production systems
The aim of this work is to present an approach, which allows the reproduction of a flexible production system behaviour during production operations and gives feedback about its efficiency, in order
Service-oriented control architecture for reconfigurable production systems
Evolvable and collaborative production systems are becoming an emergent paradigm towards flexibility and automatic re-configurability. The reconfiguration of those systems requires the existence of
Formal specification of holonic control system ADACOR product holon, using high-level Petri nets
Holonic manufacturing and multi-agent paradigms are suitable to support the actual challenges of flexible manufacturing systems, due to their decentralisation, modularity and autonomy features. The
Software Methodologies for the Engineering of Service-Oriented Industrial Automation: The Continuum Project
TLDR
The main contents focus on the specification of a framework for the development of bots and supporting engineering tools that are part of the Continuum project, and the importance of the maintenance of automation bots.
A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation
TLDR
Through the model analysis and measurement of the response time of an interpreter on a microcomputer, it is proved that the interpretation schema satisfies the required response time.
Factory automation control software designing method based on Petri nets
TLDR
A new Petri nets' description method for the development of factory automation system software is proposed, named 'the structured and hierarchical network (SH-net)' model and the conversion algorithm from the specified data to a Petri net is proposed.
Modularised, distributed real-time control of flexible production cells, using petri nets
TLDR
The design of a real-time scheduler for cotrolling flexible production cells using an extension of Petri nets and a distributed discrete-event control system, which is built up of three main structures, the coordination system, and the local and complex controllers for solving conflicts.
Petri net models of flexible and automated manufacturing systems : a survey
TLDR
This discussion represents the most comprehensive survey of applications of PNs to manufacturing through 1994, and presents an overview of PN theory and a schema for categorizing PN models of manufacturing systems.
...
1
2
3
4
...