Discrete Event Behavior-Based Distributed Architecture Design for Autonomous Intelligent Control of Mobile Robots with Embedded Petri Nets

2016 ◽  
pp. 805-827 ◽  
Author(s):  
Gen’ichi Yasuda
Keyword(s):  
Mobile Robots ◽  
Petri Nets ◽  
Intelligent Control ◽  
Discrete Event ◽  
Architecture Design ◽  
Distributed Architecture ◽  
Behavior Based

Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets

2013 ◽  
Vol 43 (6) ◽  
pp. 1477-1485 ◽  
Author(s):  
Maria Paola Cabasino ◽  
Alessandro Giua ◽  
Andrea Paoli ◽  
Carla Seatzu
Keyword(s):  
Petri Nets ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Event Systems ◽  
Decentralized Diagnosis

Architecture Design of Urban Intelligent Transportation Using Cloud Computing

2012 ◽  
Vol 605-607 ◽  
pp. 2549-2552 ◽  
Author(s):  
Ji Zhe Wang ◽  
Zhan Jie Wang
Keyword(s):  
Cloud Computing ◽  
Embedded System ◽  
Intelligent Control ◽  
Public Transportation ◽  
Intelligent Transportation ◽  
Architecture Design ◽  
Information Platform ◽  
Intelligent City ◽  
Public Transportation System ◽  
The Embedded System

This article does a further research on the technologies of cloud computing and intelligent public transportation, designs a human-centered intelligent public transportation system, improves the connection between passengers and vehicles, vehicles and vehicles. Technologies of BeiDou messaging, capacity sensor, RFID and Web are used to improve the intelligence of public transportation information platform. This article makes an architecture design in intelligent transportation based on cloud computing and uses the embedded system as the core. The architecture allows passengers to obtain needed vehicles’ information through various services whenever and wherever, and strongly supports intelligent control and schedule of multi-vehicles and multi-lines. The system lays a good foundation for the intelligent city.

A TRANSLATOR OF SOFTWARE ARCHITECTURE DESIGN FROM SAM TO JAVA

2007 ◽  
Vol 17 (06) ◽  
pp. 709-755 ◽  
Author(s):  
YUJIAN FU ◽  
ZHIJIANG DONG ◽  
XUDONG HE
Keyword(s):  
Petri Nets ◽  
Software Architecture ◽  
Temporal Logic ◽  
Subsequent Development ◽  
Experimental Result ◽  
Architecture Design ◽  
Architecture Model ◽  
Architecture Description ◽  
Java Code ◽  
Software Architecture Design

A software architecture design has many benefits including aiding comprehension, supporting early analysis, and providing guidance for subsequent development activities. An additional major benefit is if a partial prototype implementation can be automatically generated from a given software architecture design. However, in the past decade less progress was made on automatically realizing software architecture designs. In this paper, we present a translator for automatically generating an implementation from a software architectural description. The implementation not only captures the functionality of the given architecture description, but also contains additional monitoring code for ensuring desirable behavior properties through runtime verification. Our method takes a software description written in SAM, a software architecture model integrating dual formal methods Petri nets and temporal logic, and generates ArchJava/Java/AspectJ code. More specifically, the structure of a SAM architecture description produces ArchJava code, the behavior models of components/connectors represented in Petri nets lead to plain Java code, and the property specifications defined in temporal logic generate AspectJ code; the above code segments are then integrated into Java code. An experimental result is provided.

scholarly journals Modelling and Performance Analysis of Electric Car-Sharing Systems Using Petri Nets

2020 ◽  
Vol 170 ◽  
pp. 03001 ◽  
Author(s):  
A. Hamroun ◽  
K. Labadi ◽  
M. Lazri
Keyword(s):  
Petri Nets ◽  
Simulation Analysis ◽  
Discrete Event ◽  
Stochastic Petri Nets ◽  
Car Sharing ◽  
Event Simulation ◽  
Electric Car ◽  
Bike Sharing ◽  
And Performance ◽  
Charging Stations

Car sharing systems emerged as a new answer to mobility challenges in smart and sustainable cities. Despite their apparent success, design and exploitation of such systems raise crucial strategic and operational challenges. To help planners and decision makers, simulation, analysis and optimization models are unavoidable. Based on the formal modelling and analysis power of stochastic Petri nets, this paper proposes a discrete event simulation model for electric car sharing systems for performance and analysis purposes, taking into account their complex dynamic behaviour, organization and parameters including capacities of the stations, battery and energy availability, locations of charging stations and also their car maintenance activities, not negligible compared to the case of bike-sharing systems.

scholarly journals Combined approach architecture development to simulation modeling of systems with parallelism

2021 ◽  
Vol 4 (4(112)) ◽  
pp. 74-82
Author(s):  
Oksana Suprunenko
Keyword(s):  
Petri Nets ◽  
Dynamic Properties ◽  
Discrete Event ◽  
Structural Similarity ◽  
Integral Model ◽  
Combined Approach ◽  
Dynamic Simulations ◽  
Holistic Model ◽  
Event Modeling ◽  
Analytical Tools

Paradigms and graphical-analytical tools for building simulation tools and forming the architecture of a combined approach to studying the dynamic properties of systems with parallelism are described. An extension of the formal language of Petri nets is presented, which has greater modeling power than WF nets. The properties of hierarchical Petri nets are used to synthesize a holistic model. Discrete-event modeling and modeling of dynamic systems, which allow reflecting the quantitative and qualitative characteristics of the elements of the systems under study, served as the basis for the combined approach to the simulation of systems with parallelism. On their basis, graphic-analytical tools are proposed that provide the ability to describe the modeled system, adhering to the principle of structural similarity. They have dynamic simulations that make it easy to visually analyze and correct the model. Also, the proposed toolkit provides for the analysis of the dynamic properties of the model, which makes it possible to identify accumulated phenomena that can lead to unpredictability of the system’s functioning. A conceptual model for the synthesis and analysis of systems with parallelism is proposed, which provides for the construction of the components of the model based on the architecture. Their step-by-step analysis and the formation of an integral model of the software system are carried out using a network representation, according to the matrix description of which invariants are calculated. The analysis of invariants allows one to obtain the dynamic properties of the model and determine the localization of structures that lead to critical situations when they are detected. The architecture of the combined approach to the simulation of systems with parallelism is built, which provides the study of their dynamic properties to improve the reliability of the functioning of software systems

Sign in / Sign up

Export Citation Format

Share Document