963 Hits in 3.5 sec

A TAOPN Approach to Modeling and Scheduling Cyber-Physical Systems

Zhilin Qian, Huiqun Yu
2013 2013 International Conference on Information Science and Applications (ICISA)  
This approach extends Petri net with time constraints based on aspect-oriented method.  ...  Due to this feature, we propose a timeconstrained aspect-oriented Petri net (TAOPN) approach to model cyber-physical system.  ...  Here the case is given in a medium-grained level. In fact the comprehensive system model can be refined or abstracted to fine-grained or coarse-grained using hierarchical techniques.  ... 
doi:10.1109/icisa.2013.6579475 dblp:conf/icisa/QianY13 fatcat:k3rt77ru3fasbeo7374evcm6ym

User Guided High Level Synthesis [chapter]

Ivan Augé, Rajesh K. Bawa, Pierre Guerrier, Alain Greiner, Ludovic Jacomme, Frédéric Pétrot
1997 VLSI: Integrated Systems on Silicon  
Guided by these structural constraints, UGH intends to deliver a full data-path and a scheduled Finite State Machine that takes into account the detailed timing characteristics of the target physical library  ...  This paper presents a High Level Synthesis (HLS) method for specialized coprocessors in embedded systems.  ...  Translating behavioral VHDL into Petri Nets In the first phase the VHDL is compiled into a formal model based on Interpreted and Timed Petri Nets (ITPN) (Encrenaz 1995 , Bawa 1996 .  ... 
doi:10.1007/978-0-387-35311-1_38 fatcat:zo7pz3bqlzestbvbthbozmylfe

Petri-nets as an Intermediate Representation for Heterogeneous Architectures [chapter]

Peter Calvert, Alan Mycroft
2011 Lecture Notes in Computer Science  
We use Petri-nets as an intermediate representation for programs to give a unified view of all forms of performance non-determinism. This includes some scenarios which other models cannot support.  ...  Placement, scheduling and indeed algorithm choices affect the overall execution time and, for portable programs, must adapt to the target machine at either load-time or run-time.  ...  We thank the Schiff Foundation, University of Cambridge, for funding this research through a PhD studentship. Thanks are also due to Jonathan Hayman for valuable discussions and feedback.  ... 
doi:10.1007/978-3-642-23397-5_22 fatcat:anulaymbp5enhatp5xzsamcrdy

Asynchrnous Architecture for Sensor Network Nodes [chapter]

Aurélien Buhrig, Marc Renaudin, Dominique Barthel
2006 IFIP International Federation for Information Processing  
The use of asynchronous hardware allows to efficiently design a fine-grained dynamic power consumption control mechanism controlling Vdd (digital voltage scaling) and Vbb (bulk biasing) in order to manage  ...  The whole system is modelled using a unique asynchronous HDL before being partitioned.  ...  This scheduling is found using an algorithm whose core is based on the algorithm proposed in [14] and applied to the Petri Net model of the whole system.  ... 
doi:10.1007/0-387-31173-4_30 fatcat:gter464f7rfm3bbyd7swclkbkq

Asynchronous Design—Part 2: Systems and Methodologies

Steven M. Nowick, Montek Singh
2015 IEEE design & test  
Part 2 focuses on methodologies for designing asynchronous systems, including basics of hazards, synthesis and optimization methods for both logic-level and high-level synthesis, and the development of  ...  h THIS TWO-PART article aims to provide both a short historical and technical overview of asynchronous design, as well as a snapshot of the state of the art.  ...  Several general approaches have been proposed to analyze the operation of a concurrent system, which is modeled in the form of a Petri net or Event-Rule system.  ... 
doi:10.1109/mdat.2015.2413757 fatcat:bpxnljdkofh6ppyovk6sp4pknm

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  ...  From the control of the plant perspective, scheduling on nets models, the coordination of the plant (global and partial) and the presence of nets in the local control level are discussed.  ...  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

Simplified implementation of medical image processing algorithms into a grid using a workflow management system

Dagmar Krefting, Michal Vossberg, Andreas Hoheisel, Thomas Tolxdorff
2010 Future generations computer systems  
The workflow management system is able to execute all tasks related to grid communication, such as authorization, scheduling and monitoring.  ...  Such coarsegrained parallelization can easily be achieved by implementation into a grid infrastructure.  ...  This Petri net might -for example -model the segmentation of a biopsy needle in an ultrasound image.  ... 
doi:10.1016/j.future.2009.07.004 fatcat:gihte5xndrdp3ppsxnxwn7b3ja

Predicting parallel applications performance on non-dedicated cluster platforms

Cosimo Anglano
1998 Proceedings of the 12th international conference on Supercomputing - ICS '98  
We use Timed Petri Nets to represent the behavior of parallel programs, and a contention model based on queueing theory t,o quantify the effects of resource contention on the execution time of the application  ...  We develop a methodology for the construction of performance models whose analysis allows the estimation of the execution time of these programs.  ...  Timed Petri Nets represent an extension of the basic Petri Net formalism [20) in which it is possible to specify timing information by associating a $ring delay D(t) with each transition t.  ... 
doi:10.1145/277830.277866 dblp:conf/ics/Anglano98 fatcat:qdkmqonjk5agniycxa2ekn6vzy

A software-based MPEG-4 video encoder using parallel processing

Yong He, I. Ahmad, M.L. Liou
1998 IEEE transactions on circuits and systems for video technology (Print)  
First, a hierarchical Petri-nets-based modeling methodology is proposed to capture the spatiotemporal relationships among multiple objects at different levels of an MPEG-4 video sequence.  ...  Second, a scheduling algorithm is proposed to assign video objects to workstations for encoding in parallel.  ...  Fig. 6 . 6 Petri nets model for dynamic scheduling. Fig. 7 . 7 Petri nets model of EDF scheduling. Fig. 8 .Fig. 9 . 89 Time interval example of the "Weather" sequence (person woman).  ... 
doi:10.1109/76.735385 fatcat:7dcouels7zc3hcfdsqxbzsiroq

Enacting object-oriented methods by a process environment

Jen-Yen Jason Chen, Shih-Chien Chou
1998 Information and Software Technology  
It is demonstrated that CSPL is feasible and appropriate for modeling and enacting methods, including object-oriented methods.  ...  CSPL is a process-centered environment using Ada95like syntax to model a method as a process program which is then compiled to C-shell executing in UNIX.  ...  Acknowledgements The authors wish to thank the referees for their comments and Y. L. Liu for his dedicated work. This research is sponsored by the National Science Council, Taiwan, under Grant No.  ... 
doi:10.1016/s0950-5849(98)00052-4 fatcat:2wjkhyacyrc3thitmukz4qqu2m

Architecture Modelling and Task Scheduling of an Integrated Parallel CNC System in Docker Containers Based on Colored Petri Nets

Hongyu Jin, Yang Wang, Qian Wang, Jiankang Liu, Shuhua Wang, Jun Zhang, Shanghua Hao, Hongya Fu
2019 IEEE Access  
For the modeling of system architecture, the colored Petri nets are used to establish the models of CNC system and task scheduling.  ...  INDEX TERMS Integrated parallel CNC system, docker containers, colored Petri nets, architecture modelling, task scheduling.  ...  ACKNOWLEDGMENT The authors would like to thank the anonymous reviewers for their careful, constructive and insightful comments to improve the quality of the present contribution.  ... 
doi:10.1109/access.2019.2909774 fatcat:lcprrsb76bepzephzlrbmn3una

Software Pipelining [chapter]

Vicki Allan, Stephen Allan
2002 The Compiler Design Handbook  
Other problems include the genera- tion of loops that contain more copies of the original iteration than needed and the need to help the pattern develop. 5.3 Petri Net Model The Petri net  ...  (a) DDG. (b) Pipelining with Figure 33 .Figure 35 . 3335 Loop Petri net. (a) Concurrency. (b) Conflict. Figure 36 . 36 (a) DDG. (b) After being made strongly connected. (c) Petri net.  ... 
doi:10.1201/9781420040579.ch18 fatcat:ccrsprw7tze6fazs5gjjdpsp74

Software pipelining

Vicki H. Allan, Reese B. Jones, Randall M. Lee, Stephen J. Allan
1995 ACM Computing Surveys  
Other problems include the genera- tion of loops that contain more copies of the original iteration than needed and the need to help the pattern develop. 5.3 Petri Net Model The Petri net  ...  (a) DDG. (b) Pipelining with Figure 33 .Figure 35 . 3335 Loop Petri net. (a) Concurrency. (b) Conflict. Figure 36 . 36 (a) DDG. (b) After being made strongly connected. (c) Petri net.  ... 
doi:10.1145/212094.212131 fatcat:ldhh6br5o5fvnic7u7jxzie2ei

Workflow mining: A survey of issues and approaches

W.M.P. van der Aalst, B.F. van Dongen, J. Herbst, L. Maruster, G. Schimm, A.J.M.M. Weijters
2003 Data & Knowledge Engineering  
Creating a workflow design is a complicated time-consuming process and typically there are discrepancies between the actual workflow processes and the processes as perceived by the management.  ...  In this paper, we introduce the concept of workflow mining and present a common format for workflow logs.  ...  (For example, People driving a Ferrari always pay their fines in time.)  ... 
doi:10.1016/s0169-023x(03)00066-1 fatcat:ucgysjykvzgrzmxqxi2p53djhe

DAG Synchronization Constraint Language for Business Processes

Qinyi Wu, A. Sahai
2006 The 8th IEEE International Conference on E-Commerce Technology and The 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services (CEC/EEE'06)  
We propose DSCL (Dag-acyclic-graph Synchronization Constraint Language) to achieve three desirable properties for a synchronization modeling language: declarative syntax, fine granularity and validation  ...  The relationships are automatically translated into Petri Nets and simulated in the CPN/Tools, from which several correctness criteria can be validated for the composite process.  ...  DSCL integrates the support for fine-grain synchronization as part of DFV properties.  ... 
doi:10.1109/cec-eee.2006.31 dblp:conf/wecwis/WuS06 fatcat:qcimsuw46zad7fx22r6maitd3q
« Previous Showing results 1 — 15 out of 963 results