334,699 Hits in 2.4 sec

Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis [article]

Raymond Devillers
2021 arXiv   pre-print
In order to speed up the synthesis of Petri nets from labelled transition systems, a divide and conquer strategy consists in defining decompositions of labelled transition systems, such that each component  ...  is synthesisable iff so is the original system.  ...  The remarks of anonymous referees also allowed to improve the present paper.  ... 
arXiv:2111.00202v3 fatcat:fdcs2h7uwjgtrljseunslc47j4

Synthesis of Elementary Net Systems with Final Configurations

Benjamin Meis, Robin Bergenthum, Jörg Desel
2016 Applications and Theory of Petri Nets  
In this paper, we extend the definition of transition systems, as well as the definition of elementary net systems, by a notion of final states and provide a solution to the synthesis problem of elementary  ...  Furthermore, we present how to simplify complex sets of final configurations of an elementary net system by introducing the notion of neat places.  ...  Synthesis of Elementary Net Systems with Final States In this section we will recapitulate the notions of elementary net systems and transition systems [9] and extend elementary net systems by final  ... 
dblp:conf/apn/MeisBD16 fatcat:y47dt7bjdneghaqwhrykpjf4pu

Algorithms for the Synthesis of Elementary Net Systems with Localities

Aishah Ahmed, Marta Pietkiewicz-Koutny
2020 Applications and Theory of Petri Nets  
Elementary Net Systems with Localities (ENL-systems) is a class of Petri nets introduced to model GALS (globally asynchronous locally synchronous) systems, where some of the components might be considered  ...  The automated synthesis, based on regions, is an approach that allows to construct Petri net models from their transition system specifications.  ...  Acknowledgement The first author is grateful to the National Transitional Council of Libya for funding her PhD studentship and research.  ... 
dblp:conf/apn/AhmedP20 fatcat:iq6xh5offzaxjab6dhrgsy7gfq

Synthesis of Labelled Transition Systems into Equal-Conflict Petri Nets

Uli Schlachter, Valentin Spreckels
2017 Applications and Theory of Petri Nets  
It explores the relation between these properties and shows its use for synthesis of equal-conflict Petri nets from labelled transition systems.  ...  This paper introduces properties preset-equality for equalconflict Petri nets and enabling-equivalence for their reachability graphs.  ...  Introduction The task in Petri net synthesis is to construct a Petri net whose reachability graph is isomorphic to a given labelled transition system (lts).  ... 
dblp:conf/apn/SchlachterS17 fatcat:q3qgtcyocnaztjvpgiqgk5voxy

Optimal Petri Net Monitor Design [chapter]

Francesco Basile, Pasquale Chiacchio, Alessandro Giua
2002 Synthesis and Control of Discrete Event Systems  
loop net.  ...  Here the case of generalized mutual exclusion constraint is considered for a Petri net plant. It has been shown that a constraint of this kind may be enforced via a monitor place.  ...  Γ is called cycle time (CT) of the net system.  ... 
doi:10.1007/978-1-4757-6656-1_9 fatcat:hodfubyig5dhdpd334arnvmmke

Design of Observers/Controllers for Discrete Event Systems Using Petri Nets [chapter]

Alessandro Giua, Carla Seatzu
2002 Synthesis and Control of Discrete Event Systems  
In this paper, that is an extended abstract of the talk presented at the Symposium on the Supervisory Control of Discrete Event Systems held in Paris in July 2001, we deal with the problem of estimating  ...  the marking of a Place/Transition net based on event observation.  ...  Seatzu, "Design of observers/controllers for discrete event systems using Petri nets," in Synthesis and Control of Discrete Event Systems, B. Caillaud, X. Xie, Ph. Darondeau and L.  ... 
doi:10.1007/978-1-4757-6656-1_11 fatcat:geoubohtffbqtgexjvaj6342qy

Using Extended Predicate/Transition-Nets for the Specification, Analysis and Synthesis of Embedded Real-Time Systems [chapter]

Jürgen Tacken
1999 Distributed and Parallel Embedded Systems  
But analysis is very important for the systems reliability and to support an effective synthesis of the system.  ...  This partitioning is the basis for the synthesis of the system. Figure 1 : 1 Figure 1: PrfT-Net exampleFigure1shows a simple Pr!T-Net calculating the distance of two integers.  ... 
doi:10.1007/978-0-387-35570-2_4 fatcat:inji7ovkuvakda7blr2lpmac4y

Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems

Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa
2019 Applications and Theory of Petri Nets  
Several works have proposed methods for the analysis and synthesis of Petri net subclasses from labelled transition systems (LTS).  ...  In this paper, we focus on Choice-Free (CF) Petri nets, in which each place has at most one output, and their subclass of Weighted Marked Graphs (WMGs).  ...  In this study, we focus on the Petri net synthesis problem from a labelled transition system (LTS), which consists in determining the existence of a Petri net whose reachability graph is isomorphic to  ... 
dblp:conf/apn/DevillersEH19 fatcat:ucyrixxx7ffr5id6tdrjqithoq

Synthesis of communications protocol converters using the timed Petri net model

Mansour Jaragh, Kassem Saleh
1999 Journal of Systems and Software  
Our paper adopts the Timed Petri net (TPN) model to ful®ll this requirement. The paper also highlights the dynamicity of the derived converter.  ...  These drawbacks may be overcome by using Petri nets as the formal description technique.  ...  Acknowledgements The authors thank the anonymous referees for their suggestions, and acknowledge the partial support of this work by Kuwait University Research Administration Grant EE 064.  ... 
doi:10.1016/s0164-1212(99)00024-2 fatcat:3a4szigqtzgkljyq5ywbxt7wru

Liveness and Boundedness Preservations of Sharing Synthesis of Petri Net Based Representation for Embedded Systems

Chuanliang Xia, Bin Shen, Hailin Zhang, Yigui Wang
2018 Computer systems science and engineering  
Petri net based Representation for Embedded Systems (PRES+) is an outstanding methodology for analysis, modeling and verification of embedded systems.  ...  An applicable example in the form of an embedded control system illustrates the useful of our synthesis method.  ...  Acknowledgment This paper was financially supported by the National Natural Science Foundation of China under Grant No. 61503220, and Natural Science Foundation of Shandong Province under Grant No.  ... 
doi:10.32604/csse.2018.33.345 fatcat:r7wgfr2xvrhnvjga5iszipewyq


A. A. Gurskiy, Odessa National Academy of Food Technologies, A. E. Goncharenko, S. M. Dubna
Based on the results of the experiment we have depicted the process of synthesis of the Petri net representing the system tuning algorithm.  ...  This process of tuning for the coordinating control system is linked to the automatic synthesis of Petri nets based on functioning of the artificial neural network.  ...  Based on the results of the experiment we have depicted the process of synthesis of the Petri net representing the system tuning algorithm.  ... 
doi:10.15276/eltecs.32.108.2020.4 fatcat:wza7ah3ezrbyzcyncju4zi3zry

Synthesis of Petri nets from infinite partial languages

Robin Bergenthum, Jorg Desel, Robert Lorenz, Sebastian Mauser
2008 2008 8th International Conference on Application of Concurrency to System Design  
In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by a term over a finite set of labelled  ...  The second new plug-in provides the algorithmic computation of a p/t-net synthesized from a term specification.  ...  Introduction Synthesis in the field of Petri net theory means algorithmic construction of a Petri net satisfying a given behavioural description.  ... 
doi:10.1109/acsd.2008.4574609 dblp:conf/acsd/BergenthumDLM08 fatcat:mbmqskcwzbhmzg45okhtv6ujbi

Variants of the Language Based Synthesis Problem for Petri Nets

Sebastian Mauser, Robert Lorenz
2009 2009 Ninth International Conference on Application of Concurrency to System Design  
The application of synthesis of Petri nets from languages for practical problems has recently attracted increasing attention.  ...  However, the classical synthesis problems are often not appropriate in realistic settings, because usually it is not asked for plain-vanilla Petri net synthesis, but specific additional requirements have  ...  Distributable Nets: Since Petri nets are interesting for the modeling of distributed systems, synthesis of so called distributable nets [10, 8, 11] has practical relevance.  ... 
doi:10.1109/acsd.2009.19 dblp:conf/acsd/MauserL09 fatcat:u7foap2buzba3i4x5cmb5vtovm

Synthesis of Petri Nets from Finite Partial Languages

Robert Lorenz, Robin Bergenthum, Jorg Desel, Sebastian Mauser
2007 Seventh International Conference on Application of Concurrency to System Design (ACSD 2007)  
Thus, this paper shows the applicability of the concept introduced in [10] and, for the first time, provides an effective algorithm for the synthesis of system models from partial languages.  ...  The algorithms are based on the theory of regions for partial languages presented in [10] .  ...  Synthesis can start with a transition system representing the sequential behavior of a system as well as with a step transition system which additionally represents steps of concurrent events [1] .  ... 
doi:10.1109/acsd.2007.34 fatcat:umrm2xqsdjd57n355vmxcsjr5a

Synthesis of Fault Recovery Sequences in a Class of Controlled Discrete Event Systems Modelled With Petri Nets

Alberto Lutz-Ley, Ernesto López Mellado
2013 Procedia Technology - Elsevier  
It focuses on systems that are modeled by a class on Interpreted Petri nets which describes modularly the controller, the plant components, and the closed loop relationship.  ...  Afterwards, a method for the synthesis of fault tolerant controllers based on the augmenting of the existing specification is proposed and illustrated with a case study from the manufacturing area.  ...  The Petri net model of the system is shown in Fig. 4 .  ... 
doi:10.1016/j.protcy.2013.04.032 fatcat:dnolkeoi7zgq7on3detzv3pbku
« Previous Showing results 1 — 15 out of 334,699 results