Proceedings Article10.1109/TENCON.2013.6718970
A new algorithm to compute synchronizing sequences for synchronized Petri nets
Marco Pocci,Isabel Demongodin,Norbert Giambiasi,Alessandro Giua +3 more
- 01 Oct 2013
- pp 1-6
11
TL;DR: This paper provides a novel approach for the computation of synchronizing sequences on discrete event systems modeled by synchronized Petri nets by generating random nets and providing a parametric manufacturing system.
read more
Abstract: In basic testing problems, a topic of great interest is that of state identification. State identification has been solved by the way of synchronizing sequences, i.e., sequences that drive the system to a unique final state regardless of the initial one and do not require the observation of the system's outputs. In this paper we provide a novel approach for the computation of synchronizing sequences on discrete event systems modeled by synchronized Petri nets. This approach is compared with our previous results for synchronizing sequence computation by means of two different benchmarks. First, we generate random nets, second we provide a parametric manufacturing system.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Review of Model-Based Testing Approaches in Production Automation and Adjacent Domains—Current Challenges and Research Gaps
TL;DR: The goal of this paper is to review these approaches regarding their suitability for the domain of production automation in order to identify current trends and research gaps.
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
TL;DR: This paper presents a first investigation of the synchronizing problem on unbounded systems, using synchronized Petri nets, i.e., nets whose evolution is driven by external input events, and shows that synchronizing sequences may be computed for a particular class of unbounded synchronizedPetri nets.
18
Secure Recovery Procedure for Manufacturing Systems Using Synchronizing Automata and Supervisory Control Theory
TL;DR: In this paper, the authors deal with the problem of recovering a manufacturing system, modeled as a discrete event system (DES) using the Supervisory Control Theory (SCT), when the control structure, called supervisor, desynchronizes from the physical plant.
13
Testing experiments on unbounded systems: synchronizing sequences using Petri nets
TL;DR: This paper presents a first investigation of the synchronizing problem on unbounded systems, in particular synchronized Petri nets are taken into account and the problem is shown to be solved for some particular semantics.
8
•Dissertation
Test and diagnosis of discrete event systems using Petri nets
Marco Pocci
- 23 Sep 2013
TL;DR: In this paper, the authors propose a solution classique to solve the problem of failure of the test d'identification d'etat d'un systeme a evenement discret (SED) by using the reseaux de Petri (RdP).
References
Petri nets: Properties, analysis and applications
Tadao Murata
- 01 Apr 1989
TL;DR: The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
Principles and methods of testing finite state machines-a survey
David Lee,Mihalis Yannakakis +1 more
- 01 Aug 1996
TL;DR: The fundamental problems in testing finite state machines and techniques for solving these problems are reviewed, tracing progress in the area from its inception to the present and the stare of the art is traced.
1.3K
•Book
Discrete, continuous, and hybrid Petri Nets
Ren David,Hassane Alla +1 more
- 23 Nov 2004
TL;DR: This monograph presents a well written and clearly organized introduction in the standard methods of Petri Nets with the aim to reach an accurate understanding of continuous and hybrid Petri nets, while preserving the consistency of basic concepts throughout the book.
1K
•Book
Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach
Zhiwu Li,MengChu Zhou +1 more
- 04 Mar 2009
TL;DR: In this paper, the authors introduced the theory of siphons, traps, and elementary siphons of Petri nets for solving the deadlock problem in flexible manufacturing systems (FMSs).
329