2,266 research outputs found
Subtyping for Hierarchical, Reconfigurable Petri Nets
Hierarchical Petri nets allow a more abstract view and reconfigurable Petri
nets model dynamic structural adaptation. In this contribution we present the
combination of reconfigurable Petri nets and hierarchical Petri nets yielding
hierarchical structure for reconfigurable Petri nets. Hierarchies are
established by substituting transitions by subnets. These subnets are
themselves reconfigurable, so they are supplied with their own set of rules.
Moreover, global rules that can be applied in all of the net, are provided
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 distributed and modular control components that interact in order to accomplish control activities. This paper focuses on service-oriented production systems, which behavior is regulated by the coordination of services that are provided and required by control components with different roles. Internally, these components are independent of the implementations, but an internal modular and event based structure is presented. Individual control and interaction is achieved by using embedded or inter-service control processes for which High-Level Petri Nets are proposed. Supporting the predefined control, decision support systems are used to provide conflict resolution and other decision-making functions
Reconfigurable production control systems: beyond ADACOR
In the recent evolution of production control systems, the emergence of decentralized systems capable of dealing with the rapid changes in the production environment better than the traditional centralized architectures has been one of the most significant developments. The agent-based and holonic paradigms symbolize this approach, and ADACOR holonic control architecture is a successful example of such a system. In this paper, authors discusses the current challenges and the way to go in the direction of new, reconfigurable, evolvable and ubiquitous systems, able to respond to current production environment demands and variability
Specifications of a device interface for service-oriented automation control components
Service-oriented paradigm is being used to develop distributed and reconfigurable control solutions for factory automation environments. Since service-oriented automation control components are logical entities that provide and consume services, they may have an interface that maps the logical processes into the actions of the representative physical mechatronics. The inter-connection with the physical hardware devices, namely accessing I/Os, is a crucial issue to achieve the vertical IT-enterprise integration in these service-oriented systems, covering the shop floor device control level. This paper describes a device interface approach, in the context of a service-oriented control architecture, in which High-level Petri nets are used as the control description to access to the physical device. The outgoing features of the solution allow integrating the physical behavior into the control of automation components and consequently thereby incorporate it in the modular service-oriented control architecture
Modeling and formal verification of probabilistic reconfigurable systems
In this thesis, we propose a new approach for formal modeling and verification of adaptive probabilistic systems. Dynamic reconfigurable systems are the trend of all future technological systems, such as flight control systems, vehicle electronic systems, and manufacturing systems. In order to meet user and environmental requirements, such a dynamic reconfigurable system has to actively adjust its configuration at run-time by modifying its components and connections, while changes are detected in the internal/external execution environment. On the other hand, these changes may violate the memory usage, the required energy and the concerned real-time constraints since the behavior of the system is unpredictable. It might also make the system's functions unavailable for some time and make potential harm to human life or large financial investments. Thus, updating a system with any new configuration requires that the post reconfigurable system fully satisfies the related constraints. We introduce GR-TNCES formalism for the optimal functional and temporal specification of probabilistic reconfigurable systems under resource constraints. It enables the optimal specification of a probabilistic, energetic and memory constraints of such a system. To formally verify the correctness and the safety of such a probabilistic system specification, and the non-violation of its properties, an automatic transformation from GR-TNCES models into PRISM models is introduced. Moreover, a new approach XCTL is also proposed to formally verify reconfigurable systems. It enables the formal certification of uncompleted and reconfigurable systems. A new version of the software ZIZO is also proposed to model, simulate and verify such GR-TNCES model. To prove its relevance, the latter was applied to case studies; it was used to model and simulate the behavior of an IPV4 protocol to prevent the energy and memory resources violation. It was also used to optimize energy consumption of an automotive skid conveyor.In dieser Arbeit wird ein neuer Ansatz zur formalen Modellierung und Verifikation dynamisch rekonfigurierbarer Systeme vorgestellt. Dynamische rekonfigurierbare Systeme sind in vielen aktuellen und zukünftigen Anwendungen, wie beispielsweise Flugsteuerungssystemen, Fahrzeugelektronik und Fertigungssysteme zu finden. Diese Systeme weisen ein probabilistisches, adaptives Verhalten auf. Um die Benutzer- und Umgebungsbedingungen kontinuierlich zu erfüllen, muss ein solches System seine Konfiguration zur Laufzeit aktiv anpassen, indem es seine Komponenten, Verbindungen zwischen Komponenten und seine Daten modifiziert (adaptiv), sobald Änderungen in der internen oder externen Ausführungsumgebung erkannt werden (probabilistisch). Diese Anpassungen dürfen Beschränkungen bei der Speichernutzung, der erforderlichen Energie und bestehende Echtzeitbedingungen nicht verletzen. Eine nicht geprüfte Rekonfiguration könnte dazu führen, dass die Funktionen des Systems für einige Zeit nicht verfügbar wären und potenziell menschliches Leben gefährdet würde oder großer finanzieller Schaden entstünde. Somit erfordert das Aktualisieren eines Systems mit einer neuen Konfiguration, dass das rekonfigurierte System die zugehörigen Beschränkungen vollständig einhält. Um dies zu überprüfen, wird in dieser Arbeit der GR-TNCES-Formalismus, eine Erweiterung von Petrinetzen, für die optimale funktionale und zeitliche Spezifikation probabilistischer rekonfigurierbarer Systeme unter Ressourcenbeschränkungen vorgeschlagen. Die entstehenden Modelle sollen über probabilistische model checking verifiziert werden. Dazu eignet sich die etablierte Software PRISM. Um die Verifikation zu ermöglichen wird in dieser Arbeit ein Verfahren zur Transformation von GR-TNCES-Modellen in PRISM-Modelle beschrieben. Eine neu eingeführte Logik (XCTL) erlaubt zudem die einfache Beschreibung der zu prüfenden Eigenschaften. Die genannten Schritte wurden in einer Softwareumgebung für den automatisierten Entwurf, die Simulation und die formale Verifikation (durch eine automatische Transformation nach PRISM) umgesetzt. Eine Fallstudie zeigt die Anwendung des Verfahren
Service-oriented process control using high-level petri nets
Service-oriented systems constitute a suitable approach for the development of modular, flexible and reconfigurable production systems, addressing the current requirements imposed by global markets. This paper focuses on the process control of Service-oriented production systems, whose behavior is regulated by the coordination of services that are available from distributed modular and collaborative control components. The proposed control is based on a kind of High-level Petri Nets tailored for the description, connection and synchronization of different concurrent processes. Several features can be distinguished by this approach, since its modularity, control reusability, flexibility and other valuable inherited characteristics from the proposed High-Level Petri Nets
Petri net-based approach for web service automation resource coordination
In industrial automation, control systems and mechatronic devices are from
diverse nature, supplied by different manufacturers and made of different
technologies. The adoption of web services principles in an automated
production system satisfies some requirements, namely the interoperability of
such heterogeneous and distributed environments and the basis for flexibility
and reconfigurability. Manufacturing processes require to access resources at
different precedence levels and time instances, but in the other way resources
may also be shared by different processes. A major challenge is then how
individual services may interact, coordinating their activities. Petri nets may be
used to describe complex system behaviour and therefore also applied to
coordinate such systems. The paper introduces a Petri net based approach for the
design, analysis and coordination of systems developed using web services to
represent individual and autonomous resources. For this purpose, it is presented
a Petri nets computational tool to support the design, validation and coordination
of web service based automation systems.info:eu-repo/semantics/publishedVersio
- …