Filters








207 Hits in 6.6 sec

Cluster Tools With Chamber Revisiting—Modeling and Analysis Using Timed Petri Nets

W.M. Zuberek
2004 IEEE transactions on semiconductor manufacturing  
Timed Petri nets are formal models of discrete concurrent systems.  ...  A systematic development of detailed tool schedules, based on a general behavioral description of the tool, is proposed and is used to derive the corresponding Petri net models.  ...  Other applications of Petri nets to modeling and analysis of semiconductor manufacturing systems include [6] , [14] and [15] .  ... 
doi:10.1109/tsm.2004.831524 fatcat:hn3vebrxrjeuletwx7zi32rgni

C4ISR architectures: II. A structured analysis approach for architecture design

Lee W. Wagenhals, Insub Shin, Daesik Kim, Alexander H. Levis
2000 Systems Engineering  
Furthermore, the process incorporates the derivation of an executable model that can reveal the logical, behavioral, and performance characteristics of the architecture.  ...  The process demonstrates the feasibility of developing architecture descriptions that conform to the C4ISR Architecture Framework based on the Structured Analysis paradigm that underlies the concepts and  ...  The basic conversion of an Activity model into a Petri Net was described in Levis and Wagenhals [2000] . Petri Nets consist of places, transitions, directed arcs, and tokens.  ... 
doi:10.1002/1520-6858(2000)3:4<248::aid-sys5>3.0.co;2-m fatcat:l5l36mu3cnf7bl75pdcbnmmpsq

Proving properties of real-time systems through logical specifications and Petri net models

M. Felder, D. Mandrioli, A. Morzenti
1994 IEEE Transactions on Software Engineering  
Recently, a few proposals appeared in the literature suggesting proof methods for concurrent systems that are modelled in terms of Petri nets or other operational formalisms. [91] specifies the properties  ...  of a system modeled by a bounded Petri net in terms of temporal logic.  ...  In particular, ENEL and CISE cooperate to the development of the specification language TRIO, of its environment, and to its application to real-life projects.  ... 
doi:10.1109/32.265634 fatcat:jmj6jga7xrha5o733bwbrgsnbi

Norms and Commitment for iOrgs(TM) Information Systems: Direct Logic(TM) and Participatory Grounding Checking [article]

Carl Hewitt
2010 arXiv   pre-print
Previously Model Checking as been performed using the model of nondeterministic automata based on states determined by time-points.  ...  Similarly extension and revision is required for Grounding Checking properties of systems based on a set of ground inferences.  ...  A helpful review was provided by an anonymous referee for the special issue of the Journal of IGPL on Normative Multi-agent Systems.  ... 
arXiv:0906.2756v6 fatcat:ipieds2zb5fhhglujek5fy3u3q

Improving Business Process Efficiency for Supply Chain Finance: Empirical Analysis and Optimization Based on Stochastic Petri Net

Xuhong Ye, Dongbo Ge, Xueting Bian, Qike Xu, Yun Zhou
2020 IEEE Access  
We empirically model and investigate the processes of supply chain finance by constructing a Stochastic Petri Net based on the field survey of a focal firm.  ...  To improve the performance of SCF processes, we propose three optional adjusting schemes on the basis of information sharing perspective (for the first half of the Petri Net) and risk sharing perspective  ...  MODELING TOOL: PETRI NET Petri Net is a well-known representational language to model business process [29] , which can be used to represent parallel or concurrent activities in a system and can enable  ... 
doi:10.1109/access.2020.2995851 fatcat:oi7rrmdmgzazra2zw53blinibe

Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 8-11, 2004

Kurt Jensen
2004 DAIMI Report Series  
This booklet contains the proceedings of the Fifth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 8-11, 2004.  ...  The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark.  ...  Quasar [20], a tool for the analysis of concurrent Ada programs based on Colored Petri nets.  ... 
doi:10.7146/dpb.v33i570.7200 fatcat:gmk2jvsxjzdppfkvbsptqlq2ya

Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 20-22, 2008

Kurt Jensen
2008 DAIMI Report Series  
This booklet contains the proceedings of the Ninth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 20-22, 2008.  ...  The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark.  ...  This work was supported by Končar -Electrical Engineering Institute, Croatia, and the Ministry of Science, Education and Sports of the Republic of Croatia. Acknowledgements.  ... 
doi:10.7146/dpb.v37i588.7188 fatcat:46y3jj345zha7etipizaaoiism

Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 22-24, 2007

Kurt Jensen
2007 DAIMI Report Series  
This booklet contains the proceedings of the Eighth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 22-24, 2007.  ...  The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark.  ...  My thanks go to Maciej Koutny and Victor Khomenko at the University of Newcastle upon Tyne for their valuable comments and helpful advice on the unfolding technique.  ... 
doi:10.7146/dpb.v36i584.7197 fatcat:fmzu5qetpnd6dpflqsuggbt7mm

A historical perspective on developing foundations iInfo(TM) information systems: iConsult(TM) and iEntertain(TM) apps using iDescribers(TM) information integration for iOrgs(TM) information systems [article]

Carl Hewitt
2010 arXiv   pre-print
between "Leeds" and "England." - A temporal connection between "turning on a computer" and "joining an on-line discussion."  ...  ." - A biological connection between "a dolphin" and "a mammal". - A demographic connection between "undocumented residents of California" and "7% of the population of California." - A geographical connection  ...  were developed including the following: Petri nets Prior to the development of the Actor model, Petri nets were widely used to model nondeterminism.  ... 
arXiv:0901.4934v20 fatcat:dzzvetxiyndi3c5ytyjpcf3kby

Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 19-21, 2009

Kurt Jensen
2009 DAIMI Report Series  
This booklet contains the proceedings of the Tenth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 19-21, 2009.  ...  The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark.  ...  Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Systems. Lecture Notes in Computer Science. Springer, 2009. 2. J. Ashayeri, A.  ... 
doi:10.7146/dpb.v38i590.7187 fatcat:t5yh5d4v7jbjjj7wghs2ba6ida

Process Integration [chapter]

Lachlan Aldred
2009 Modern Business Process Automation  
Furthermore ESBs encourage process integrations to be modelled on their own, logically separate from the process model.  ...  While BPM systems increased ease of use (modelling convenience), long-standing and complex interactions involving many process instances remained difficult to model.  ...  Acknowledgements I would like to gratefully acknowledge the principal supervision of Dr. Arthur ter Hofstede.  ... 
doi:10.1007/978-3-642-03121-2_19 fatcat:4m7pco7va5awtpoia2fb7b3qau

Using timed CSP for specification verification and simulation of multimedia synchronization

A.F. Ates, M. Bilgic, S. Saito, B. Sarikaya
1996 IEEE Journal on Selected Areas in Communications  
By specifying different aspects of a system in different formal languages, the diversity and power of existing specification languages can be exploited.  ...  We describe our experiences of applying such an approach in the field of distributed multimedia systems.  ...  Finally, thanks to Abderrahmane Lakas for his work on early algorithms and tool support.  ... 
doi:10.1109/49.481699 fatcat:w7gqoqfr2balpfrdk66ebo3xmy

A Self-adaptive Monitoring Framework for Component-Based Software Systems [chapter]

Jens Ehlers, Wilhelm Hasselbring
2011 Lecture Notes in Computer Science  
Extended Petri Nets Petri Nets are another basic performance modeling technique.  ...  Concurrency views: Focus on the management of concurrent threading, synchronization, and scheduling, e.g expressed in UML activity diagrams or Queueing Petri Nets.  ...  A first idea is to construct design-oriented performance models (e.g. by means of UML-SPT or PCM as described in Section 2.2.4) that allow annotating operations with required, predicted, and measured  ... 
doi:10.1007/978-3-642-23798-0_30 fatcat:apnintsmcbhv7cjm2crj5ldhsa

Matching of events and activities

Thomas Baier, Andreas Rogge-Solti, Jan Mendling, Mathias Weske
2015 Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15  
Matching of events and activities -an approach based on behavioral constraint satisfaction.  ...  Mapping the recorded events to activities of a given process model is essential for conformance checking, annotation and understanding of process discovery results.  ...  LoLA (a Low Level Petri Net Analyzer) 10 is used as a well-known model checker for Petri nets.  ... 
doi:10.1145/2695664.2699491 dblp:conf/sac/0001RMW15 fatcat:76un2bqmzzd6np2dhnfiwztgt4

Hierarchical hybrid systems: Partition deformations and applications to the acrobot system [chapter]

Ekaterina S. Lemch, Peter E. Caines
1998 Lecture Notes in Computer Science  
Plenary address, Workshop on Control of Hybrid and Discrete Event Systems, (satellite event of "26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency")  ...  Caines, Peter E. and Lemch, Ekaterina S., " On the global controllability of Hamiltonian and other nonlinear systems: fountains and recurrence".  ... 
doi:10.1007/3-540-64358-3_43 fatcat:mnmnhoia5bgk7ltclekwj4pdzu
« Previous Showing results 1 — 15 out of 207 results