Filters








17,753 Hits in 5.3 sec

Modeling Multimedia Synchronization Using a Time Petri Net Based Approach [chapter]

Abdelghani Ghomari, Chabane Djerab
2010 Advances in Petri Net Theory and Applications  
. - Fig. 5 . 5 Translation of an inter-stream synchronization schema of a Mp-RdPT net (a) in the form of a t-time Petri net (b, c, d) according to inter-stream synchronization (b) transition of the type  ...  in Petri Net Theory and Applications www.intechopen.com  ...  /books/advances-in-petri-net-theory-andapplications/modeling-multimedia-synchronization-using-a-time-petri-net-based-approach-  ... 
doi:10.5772/10297 fatcat:htrv2bmxezhv5b56gyzvcup66y

A Solution of Synchronic Distance in Fair Petri Nets

Li-li Wang, Xiang-wei Liu
2015 International Journal of Hybrid Information Technology  
This paper gives a solution of the synchronic distance between any two transitions in a fair Petri net.  ...  Keywords: Fair Petri net, weighted synchronic distance, weighted observe-place, A net system with a weighted observe-place, Suitable weight function 12 ,2 tt   . How to unify these two results?  ...  nets and research and design of algorithms International Journal of Hybrid Information Technology Vol. 8, No.3 (2015)  ... 
doi:10.14257/ijhit.2015.8.3.04 fatcat:saamz2ojrvazfdqdndlfwgwkkq

Petri-Net Model of Multimedia Synchronization in Mobile Environment [chapter]

Keun-Wang Lee, Jong-Hee Lee, Hae-Seok Oh
2003 Lecture Notes in Computer Science  
In this paper we propose Mobile Petri-net Model(MPM) as a new specification model including the QoS parameter that minimizes the transmission delay time.  ...  Obtaining to multimedia services which satisfy synchronization constraints in ME and improving the delay time and Quality of Service(QoS) between media streams to be presented, new specification model  ...  However, previous extended Petri-net based models like as Object Composition Petri-Net (OCPN) and Real Time Synchronization Model (RTSM) have some constraints in modeling the QoS parameters of both intramedia  ... 
doi:10.1007/3-540-44864-0_59 fatcat:h4hxkqyoongfvhmh63p6d7ggwe

Confusion Control in Generalized Petri Nets Using Synchronized Events

Xiaoliang Chen, Gaiyun Liu, Naiqi Wu, Abdulrahman M. Al-Ahmari, Abdulaziz Mohammed El-Tamimi, Emad S. Abouel Nasr
2015 Mathematical Problems in Engineering  
A reasonable control strategy for conflicts and confusions in a PN is formulated by proposing elementary conflict resolution sequences (ECRSs) and a class of local synchronized Petri nets (LSPNs).  ...  The loss of conflicting information in a Petri net (PN), usually called confusions, leads to incomplete and faulty system behavior.  ...  Acknowledgments This work was supported in part by the National Natural  ... 
doi:10.1155/2015/636959 fatcat:volcsphef5canngxkj3wex7oka

Encoding Synchronous Interactions Using Labelled Petri Nets [chapter]

Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma V. Monreale
2014 Lecture Notes in Computer Science  
We present an encoding of (bound) CSP processes with replication into Petri nets with labelled transitions.  ...  Through the encoding, the firing semantics of Petri nets models the standard operational semantics of CSP processes, which is both preserved and reflected.  ...  We are grateful to the referees for their insightful suggestions on the submitted version of the paper, and, in particular, for pointing out the relevance of control state reachability in the analysis  ... 
doi:10.1007/978-3-662-43376-8_1 fatcat:xapunbga7rbjvgut6i44ebctii

Coloured Petri Nets extended with channels for synchronous communication [chapter]

Søren Christensen, Niels Damgaard Hansen
1994 Lecture Notes in Computer Science  
This paper shows how Coloured Petri Nets (CP-nets) can be extended to support synchronous communication.  ...  The concepts introduced in this paper originate from the practical use of Petri nets for modelling, and they are formally defined in such a way that they preserve the basic properties of CP-nets.  ...  into the Petri net framework.  ... 
doi:10.1007/3-540-58152-9_10 fatcat:kiid3c5e4rgrxhvay6aa22b5na

Coding Mobile Synchronizing Petri Nets into Rewriting Logic

Fernando Rosa-Velardo
2007 Electronical Notes in Theoretical Computer Science  
Mobile Synchronizing Petri Nets (MSPN's) are a model for mobility and coordination based on coloured Petri Nets, in which systems are composed of a collection of (possibly mobile) hardware devices and  ...  In order to obtain a representation of MSPN systems by means of a rewrite theory, we develop a class of them, that we call ν-Abstract Petri nets (ν-APN's), which are easily representable in that framework  ...  Mobile Synchronizing Petri Nets: overview In this section we briefly describe our Mobile Synchronizing Petri Nets. For more details see [14] or [15] .  ... 
doi:10.1016/j.entcs.2006.10.021 fatcat:c3dnk2iqzfd3fnc2yqlv4hshbq

Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems

Fernando Rosa-Velardo, Olga Marroquín-Alonso, David de Frutos-Escrig
2006 Electronical Notes in Theoretical Computer Science  
We model both devices and software components as a special kind of coloured Petri Nets, located in locations, that can move to other locations and synchronize with other co-located nets, offering and requesting  ...  We propose a simple Petri Net based model to study some of its main characteristics.  ...  Mobile Synchronizing Petri Nets A Mobile Synchronizing Petri Net (from now on, MSPN) is a special kind of coloured Petri Net, with only two different colour types: one for localities and a singleton colour  ... 
doi:10.1016/j.entcs.2005.12.026 fatcat:iuko2ptkxbbevahxdpgagaxjce

Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations

Ziyue Ma, Zhiwu Li, Alessandro Giua
2017 IEEE Transactions on Automatic Control  
In this paper we study the problem of constraint transformation for Petri nets with uncontrollable transitions and containing both conflicts and synchronizations.  ...  Moreover, we characterize the GMEC inflation phenomenon, that is, the case in which the representation of the admissible marking set may be too complex to be efficiently implemented in a closed-loop net  ...  We find that the GMEC inflation does not occur in some restrictive subclasses of Petri nets (e.g., synchronization-free ordinary nets [27] and conflict-free ordinary nets [13] ).  ... 
doi:10.1109/tac.2016.2585647 fatcat:e6lq6mgxnvc7pdfnjhkje46fmy

On the Expressiveness of Mobile Synchronizing Petri Nets

Fernando Rosa-Velardo, David de Frutos-Escrig, Olga Marroquín-Alonso
2007 Electronical Notes in Theoretical Computer Science  
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets.  ...  We have proved that both models are strictly in between P/T nets and Turing machines.  ...  Mobile Synchronizing Petri Nets In this section we will formally and intuitively describe Mobile Synchronizing Petri Nets (from now on, MSPN's).  ... 
doi:10.1016/j.entcs.2005.05.048 fatcat:r27xwujh6vcypfmp5pdcf2wh2u

Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows [chapter]

José-Inácio Rocha, Octávio Páscoa Dias, Luís Gomes
2014 IFIP Advances in Information and Communication Technology  
The methodology discussed in this paper improves the outcomes produced so far (in Petri net domain) at design stage aiming at knowing the amount of storage resource required, as well as has a substantial  ...  The scope of our work will be on consistent dataflow properties that can be easily demystified and efficiently determined with the outlined mapping approach between Dataflows and Petri nets.  ...  de Setúbal (IPS) in the framework of projects of "3º Concurso de Projectos do IPS", reference 3CP-IPS- .  ... 
doi:10.1007/978-3-642-54734-8_27 fatcat:yef6rkht3ralbe2to4qbvwexye

Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System [chapter]

Filipe Moutinho, Luís Gomes, Paulo Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro
2011 IFIP Advances in Information and Communication Technology  
The distributed system is specified by non-autonomous Petri net modules, obtained after the partition of a (global) Petri net model.  ...  These modules are represented using IOPT (Input-Output Place-Transition) Petri net models, communicating through dedicated communication channels forming the GALS system under analysis.  ...  The chosen modeling formalism was the Input-Output Place-Transition (IOPT) Petri net, a class of non-autonomous Petri nets defined in [2] that extends the well-known Place-Transition (P/T) Petri net  ... 
doi:10.1007/978-3-642-19170-1_26 fatcat:rt36lfoqqrfqbcfikfe5blz6hi

A Petri net-based simulation of synchronized curriculum for IT-specialists

Lyudmyla Bilousova, Liudmyla Gryzun
2021 International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications  
In this context it is relevant to use the simulation advantages of Petri nets apparatus as for the processes synchronization.  ...  Thus, it is necessary to cover in brief basics of Petri nets theory as a framework for our approach to curriculum synchronization.  ... 
dblp:conf/icteri/BilousovaG21 fatcat:azslbznv75ezrbyovcav46bg7i

Parallel Simulation of Queueing Petri Nets

Jürgen Walter, Simon Spinner, Samuel Kounev
2015 Proceedings of the Eighth EAI International Conference on Simulation Tools and Techniques  
time slices  Barrier synchronization in Java [Ball03]  active wait + hierarchical barriers Synchronization Jürgen Walter -Parallel Simulation of Queueing Petri Nets Barrier synchronization  ...   Technical Solution: Virtual time steps  Conservative parallelization to reduce overheads What works in Practice Jürgen Walter -Parallel Simulation of Queueing Petri Nets Motivation Foundations  ... 
doi:10.4108/eai.24-8-2015.2261102 dblp:conf/simutools/WalterSK15 fatcat:wlptmhtm3namhonjvyprs32tgy

Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification [chapter]

Filipe Moutinho, Luís Gomes
2013 IFIP Advances in Information and Communication Technology  
This paper proposes to include in high-level Petri nets a set of concepts already introduced for lowlevel Petri nets allowing the specification of GALS systems, namely time domains, test arcs and priorities  ...  High-level Petri net classes are suited to specify concurrent processes with emphasis both in control and data processing, making them appropriate to specify distributed embedded systems (DES).  ...  This work was partially financed by Portuguese Agency "FCT -Fundação para a Ciência e a Tecnologia" in the framework of project PEst-OE/EEI/UI0066/2011.  ... 
doi:10.1007/978-3-642-37291-9_24 fatcat:ljdfpaxxa5bcbmvxt2cm2kqnii
« Previous Showing results 1 — 15 out of 17,753 results