A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems
[chapter]
1998
Lecture Notes in Computer Science
Preserved Fulltext
In general, a Petri net can provide a more expressive characterization of a system's switching logic than can be provided by a nite automaton. ...
In particular, let's consider how this might be done for a switching logic generated by a Petri net. ...
doi:10.1007/3-540-64358-3_39
fatcat:t5444awsize3tbigafpajmzip4
Page 1577 of Mathematical Reviews Vol. , Issue 80D
[page]
1980
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Properties of Petri nets have been studied when the nets are inde- pendent of external events. ...
If one uses synchronized Petri nets as language generators, it is shown that synchronized Petri nets can be realized by k prompt synchro- nized Petri nets. ...
Cumulative subject index volumes 33–35
1977
Information and Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
net, note, 34, 169
simple matrix, homomorphic represen-
tation, 35, 267
Szilard, related to Petri nets, 33, 177
value-languages, translations, 35, 87
Lee weight
bounds for burst correcting codes ...
Synchronization firing squad, problem: for two-dimensional arrays, 34, 177 Szilard languages related to Petri nets, 33, 177 one-dimensional scope-three, decomposition phenomenon in, 34, 296 Translations ...
doi:10.1016/s0019-9958(77)90187-5
fatcat:jaxd23nbmva5hdnq37lof736um
Hybrid Control Systems Using Timed Petri Nets: Supervisory Control Design Based on Invariant Properties
[chapter]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
In this paper, a class of timed Petri nets named programmable timed Petri nets is used for supervisory control of hybrid systems. ...
The switching policy is embedded in the dynamics of the underlying Petri net structure and the supervisors are described by P etri nets. ...
The dynamics of ordinary Petri nets are characterized by the evolution of the marking vector which is referred to as the state of the net. ...
doi:10.1007/3-540-49163-5_8
fatcat:h3qetkwzf5dwrbw2nthsa6iwfq
A Shortest-Path Lyapunov Approach for Forward Decision Processes
2009
International Journal of Computer Games Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We consider dynamical systems governed by ordinary difference equations described by Petri nets. ...
, and a natural form of termination is ensured by an equilibrium point . ...
In addition, we use the notions of stability in the sense of Lyapunov to characterize the stability properties of the Petri net. ...
doi:10.1155/2009/162450
fatcat:vfn6wrhnrff4dc6tobgwwg2taa
On consensus protocols allowing joint-agent interactions
2018
2018 IEEE Conference on Decision and Control (CDC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Interestingly, and for the first time, we borrow to this end the language of Petri Nets as a convenient way to describe bipartite directed graphs, showing how the notion of siphon is helpful in characterizing ...
more of them. ...
In particular, siphons of the net, qualify and characterize stubborn groups of agents. ...
doi:10.1109/cdc.2018.8619515
dblp:conf/cdc/AngeliM18
fatcat:cpyvkpk4djf73b5ytst2lh7kqy
A hierarchical decomposition of decision process Petri nets for modeling complex systems
2010
International Journal of Applied Mathematics and Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A hierarchical decomposition of decision process Petri nets for modeling complex systems We provide a framework for hierarchical specification called Hierarchical Decision Process Petri Nets (HDPPNs). ...
It is an extension of Decision Process Petri Nets (DPPNs) including a hierarchical decomposition process that generates less complex nets with equivalent behavior. ...
Petri net theory allows a system to be modeled by a Petri net, a mathematical representation of the system. ...
doi:10.2478/v10006-010-0026-2
fatcat:pio33hhrunga7ncafxq7dtvdly
Stability of A Switched Linear System
English
2012
Journal of Mechanical Engineering and Sciences
English
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Hybrid systems are dynamic systems that arise out of the interaction of continuous state dynamics and discrete state dynamics. ...
In this paper, the trend in research regarding the stability of switched systems will be investigated. ...
State-Switched Transformation Using Differential Petri Nets Differential Petri Nets (DPN) is a simulation software which is the sequel for another simulation software called "Hybrid Petri Nets", used for ...
doi:10.15282/jmes.3.2012.8.0030
fatcat:bs5hn3dm65hrrhfxyytm2xezey
Page 5755 of Mathematical Reviews Vol. , Issue 2000h
[page]
2000
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
linear logic view of object Petri nets (225-246); Keijo Heljanko, Using logic programs with stable model seman- tics to solve deadlock and reachability problems for 1-safe Petri nets (247-268); Tommi ...
Dirk Schlatter, Analyzing paths in time Petri nets (311-327). ...
Synthesis of asynchronous controllers using integer linear programming
2006
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
A novel strategy for the logic synthesis of asynchronous control circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. ...
These techniques can handle Petri net specifications consisting of several thousands of transitions and provide a significant speed-up compared with techniques that have previously been proposed. ...
Yoneda for providing examples, tools, and discussion on different approaches for the synthesis of large asynchronous circuits. ...
doi:10.1109/tcad.2005.859516
fatcat:wlbbhqsvn5c7nimqe662kzr3iu
Table of contents
2020
IEEE Transactions on Automatic Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Deng 3084 Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...
A Complete Characterization of Integral Input-to-State Stability and Its Small-Gain Theorem for Stochastic Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ...
doi:10.1109/tac.2020.2997842
fatcat:xt3fxm5bhjcvtnxottdf3craba
Online Techniques for Dealing with Concept Drift in Process Mining
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In the last decade Process mining arose as a discipline that uses the logs of information systems in order to mine, analyze and enhance the process dimension. ...
P. van der Aalst for the providing some of the logs of the experiments. ...
This work is partially supported by BASMATI MICINN project (TIN2011-27479-C04-03), by the SGR2009-1428 (LARCA), by the EU PASCAL2 Network of Excellence (FP7-ICT-216886), by the FORMALISM project (TIN2007 ...
doi:10.1007/978-3-642-34156-4_10
fatcat:ih72qanfonhg5moq5wwhggtdyu
Lagrange stability and boundedness of discrete event systems
1995
Discrete event dynamic systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Moreover, via the Lyapunov approach we provide a sufficient condition for the uniform ultimate boundedness of General Petri nets. ...
To illustrate the Petri net results, we study the boundedness properties of a rate synchronization network for manufacturing systems. ...
Moreover, we introduce the characterization and analysis of uniform ultimate boundedness for Petri nets. ...
doi:10.1007/bf01439154
fatcat:kfuvkjgnkfdxfa46otf4pwb6ym
The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
2004
International Journal of Production Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Introduction Tina (TIme Petri Net Analyser) 1 is a software environment for the editing and analysis of Petri net and Time Petri net (Merlin and Farber 1976) . ...
In addition to the graphic-editing facilities, the software tool Tina proposes the construction of a number of representations for the behaviour of Petri nets or Time Petri nets. ...
Introduction Tina (TIme Petri Net Analyser) 1 is a software environment for the editing and analysis of Petri net and Time Petri net (Merlin and Farber 1976) . ...
doi:10.1080/00207540412331312688
fatcat:ur4qrvbwvzevnc7othhwilj7f4
Optimal Model Predictive Control of Timed Continuous Petri Nets
2008
IEEE Transactions on Automatic Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper addresses the optimal control problem of timed continuous Petri nets under infinite servers semantics. ...
The reachability space of the sampled system in relation to autonomous continuous Petri nets is also studied. ...
CONTINUOUS PETRI NETS
A. ...
doi:10.1109/tac.2008.929386
fatcat:n7kep3dmpvgrdljh6qfjjl6jpe
« Previous
Showing results 1 — 15 out of 1,227 results