2,233 Hits in 8.3 sec

Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets [chapter]

Silien Hong, Fabrice Kordon, Emmanuel Paviot-Adet, Sami Evangelista
2012 Lecture Notes in Computer Science  
This paper presents how we mix the two techniques via the hierarchization of a precomputed variable order. This way we obtain a hierarchical static order for the variables encoding a system.  ...  Decision Diagrams are a way to tackle this problem. However, their performance strongly rely on the way variables encode a system.  ...  It starts from an existing flat order and builds a hierarchical order suitable for large P/T net models.  ... 
doi:10.1007/978-3-642-29072-5_5 fatcat:qjqmbfa2cnczfez6v25joswdze

Timed Hierarchical Object-Oriented Petri Net [chapter]

Hua Xu
2008 Petri Net, Theory and Applications  
•t={p| (p, t) F} =the set of input places of t, t•={p| (t, p) F}=the set of output places of t, Petri Net: Theory and Applications 256 •p={t| (t, p) F}=the set of input transitions of p, p•= {t| (p, t)  ...  For net PN= (P, T, F, W, M 0 ), we use the following symbols and notations for the sets of predecessors and successors of a place p P and transition t T.  ...  based on Petri nets.  ... 
doi:10.5772/5321 fatcat:x2k4khbnfjflthn65ufwlsdb4q

Report on the Model Checking Contest at Petri Nets 2011 [chapter]

Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel
2012 Lecture Notes in Computer Science  
It discusses the enhancements required for future editions of the Model Checking Contest event at the Petri Nets conference.  ...  This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets.  ...  Acknowledgements The Model Checking Contest @ Petri nets organizers would like to thank the following people for the help they provided in setting up this event: Clément Démoulins (infrastructure), Nicolas  ... 
doi:10.1007/978-3-642-35179-2_8 fatcat:joniyupqprglhotup2mloxyv24

Conception of Hierarchical Fuzzy Interpreted PETRI Net

2017 Studies in Informatics and Control  
This article presents a conception and a formal definition of hierarchical fuzzy interpreted Petri net as a representation of a flat net.  ...  The proposed formal description has been implemented in the computer simulator called FIPN-SML, earlier used to model flat nets.  ...  t p M , (2) where } ) , ( { R t p P p t     -it is a set of input places of transition t, and } ) , ( { R p t P p t     -it is a set of its output places.  ... 
doi:10.24846/v26i2y201703 fatcat:kz6k5exyrvfqvkektvdb6qvzmm

Nested-unit Petri nets

Hubert Garavel
2019 Journal of Logical and Algebraic Methods in Programming  
It allows significant savings in the memory representation of markings for both explicit-state and symbolic verification.  ...  This model called NUPN (Nested-Unit Petri Nets) was originally developed for translating process calculi to Petri nets, but later found also useful beyond this setting.  ...  Thus, the net (P, T, F, M 0 ) is safe. From Prop. 11, it exists a unit-safe NUPN (P, T, F, M 0 , U, u 0 , , unit ).  ... 
doi:10.1016/j.jlamp.2018.11.005 fatcat:5let5psyerewbizrovxxzzqrju

Petri nets and flexible manufacturing [chapter]

Manuel Silva, Robert Valette
1990 Lecture Notes in Computer Science  
Petri nets theory presents a relatively mature body, nevertheless efficient performance evaluation (even for P/T net models) and qualitative analysis of highlevel net models still requires important developments  ...  After some terminology concerning production engineering, the hierarchical decision and control level is briefly reviewed.  ...  Acknowledgments: The authors are grateful for the helpful comments of R. David, J. Erschler, P. Freedman, J.C. Gentina, P. Muro, J.L. Villarroel, K. Voss and many other persons. 6 References.  ... 
doi:10.1007/3-540-52494-0_38 fatcat:gn3nqq3q2rc2vm5bfk4iz7ursu

Petri Nets

James L. Peterson
1977 ACM Computing Surveys  
Over the last decade, the Petri net has gamed increased usage and acceptance as a basic model of systems of asynchronous concurrent computation.  ...  Petri net languages, models of computation related to Petm nets, and some extensions and subclasses of the Petri net model are also bmefly discussed  ...  A Petri net C = (P, T, I, O) with a marking ft becomes the marked Petri net, M = (P, T, I, O, Iz). in O(t 3) Pi in O(tj) FIGURE 18.  ... 
doi:10.1145/356698.356702 fatcat:lwm23atcgzf3blxj2xvfqdvnjm

Modelling and design of flexible manufacturing systems using SADT and Petri nets tools

Krzysztof Santarek, Ibrahim M Buseif
1998 Journal of Materials Processing Technology  
The interface is based on a number of transformation rules from an IDEF0 specification into a Petri net.  ...  A standard qualitative analysis and simulation of the Petri net is used to determine if the manufacturing system will operate in the desired manner.  ...  A Petri net (PN) is formally defined as a fourtuple C= (P, T, I, O) where P is a finite set of places p, T is a finite set of transitions t, I is a mapping from transitions to a bag of places such that  ... 
doi:10.1016/s0924-0136(97)00350-6 fatcat:wilhlc7ft5crta6t3zhqzvaygy

Modeling Dynamic Architectures Using Nets-Within-Nets [chapter]

Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke
2005 Lecture Notes in Computer Science  
In this work we present the basic concepts for a dynamic architecture modeling using nets-within-nets.  ...  Applying the concepts from nets-within-nets, therefore, allows us to model complex dynamic system architectures in a simple way, which enables us to design the system at different levels of abstractions  ...  In value semantics tokens can be seen as direct representations of nets. This allows for nested nets that are structured in a hierarchical order because nets can only be located at one location.  ... 
doi:10.1007/11494744_10 fatcat:z4f5eih2jfdhlapq6e7swoprz4

How Might Petri Nets Enhance Your Systems Biology Toolkit [chapter]

Monika Heiner, David Gilbert
2011 Lecture Notes in Computer Science  
How might Petri nets enhance my Systems Biology toolkit?" -this is one of the questions that we get on a regular basis, which motivated us to write an answer in the form of this paper.  ...  We discuss the extent to which the Petri net approach can be used as an umbrella formalism to support the process of BioModel Engineering.  ...  The use of P/T-invariants for the validation of biochemical networks has been introduced to the Petri net community in [30] .  ... 
doi:10.1007/978-3-642-21834-7_2 fatcat:jhckua5qhvc3xohjwrrfqswxpq

Raw Report on the Model Checking Contest at Petri Nets 2012 [article]

F. Kordon, A. Linard, D. Buchs, M. Colange, S. Evangelista, L. Fronc, L.M. Hillah, N. Lohmann, E. Paviot-Adet, F Pommereau, C. Rohr, Y. Thierry-Mieg, H. Wimmel (+1 others)
2012 arXiv   pre-print
After a short overview of the contest, this paper provides the raw results from the context, model per model and examination per examination.  ...  This contest aimed at a fair and experimental evaluation of the performances of model checking techniques applied to Petri nets. This is the second edition after a successful one in 2011.  ...  Further, Marcie applies heuristics for the computation of static variable orders to achieve small decision diagram representations.  ... 
arXiv:1209.2382v1 fatcat:qo332fnlhvbfhopxyocoze3bdm

Specifying and Verifying Holonic Multi-Agent Systems Using Stochastic Petri Net and Object-Z: Application to Industrial Maintenance Organizations [chapter]

Belhassen Mazigh, Abdeljalil Abbas-Turki
2012 Petri Nets - Manufacturing and Computer Science  
..., T m } is a finite, not empty, set of transitions; PT = is the sets P and T are disjointed; Pre : P × T −→ N is the input incidence application; Post : P × T −→ N is the output incidence application  ...  To represent static structure of holarchy, the notation used is inspired from the "cheese board" diagrams proposed by [7] . However, it was adapted to better represent the holonic approach.  ... 
doi:10.5772/50229 fatcat:omi4ph3ew5dvbm7sg7htzub3ki

Symmetry reduction for time Petri net state classes

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal Zilio, François Vernadat
2016 Science of Computer Programming  
We propose a method to exploit the symmetries of a real-time system represented by a Time Petri net for its verification by model-checking.  ...  a Time Petri net preserving its markings and traces.  ...  A symmetry of a TPN P, T, Pre, Post, m 0 , I s is a permutation π of PT that preserves node types, preconditions, postconditions and static intervals. That is: 1. (∀x)(x ∈ P ⇔ π(x) ∈ P ) 2.  ... 
doi:10.1016/j.scico.2016.08.008 fatcat:lr64uke6hrb5hkdk3szdowch2m

Microcontroller-Based Process Monitoring Using Petri-Nets

MarcosR Frankowiak, RogerI Grosvenor, PaulW Prickett
2009 EURASIP Journal on Embedded Systems  
This paper considers the development of a Petri-net-based modelling tool as a mechanism for process and system monitoring.  ...  The use of Petri-nets, which has previously been largely based in the areas of systems modelling and simulation, is shown here to have great potential for deployment as a process monitoring and management  ...  structure C in the form of the four tuple; C = (P, T, I, O).  ... 
doi:10.1155/2009/282708 fatcat:2ti6lcbtbbhjrjrdc2ue7cpsly

Clustering for Petri nets

Walter Keller
2003 Theoretical Computer Science  
This work builds a bridge from • clustering techniques-merging neighbouring nodes which is a key feature for software engineering and the practical applications of Petri nets-to • folding techniques-merging  ...  A computationally reasonable adjunction connects it to folding-based Petri nets, namely, to two new cocomplete and complete categories.  ...  Acknowledgements We wish to thank the anonymous referees for numerous important suggestions.  ... 
doi:10.1016/s0304-3975(02)00597-2 fatcat:napgfeeyvre2bmgajd7jfdldny
« Previous Showing results 1 — 15 out of 2,233 results