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
Lecture Notes in Computer Science
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
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. ...
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
Lecture Notes in Computer Science
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
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
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 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
Journal of Mechanical Engineering and Sciences
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
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). ...
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
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
Lecture Notes in Computer Science
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
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
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
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