2,856 Hits in 3.5 sec

Modeling and evaluation of information systems using coloured petri network

Ehsan Zamirpour, Ali Harounabadi, Seyed Javad Mirabedini
2014 Management Science Letters  
Because of supporting the concurrency concepts, petri net has a higher priority than queuing system. For mapping UML to colored Petri net diagram, we use an intermediate graph.  ...  In this paper, we present a formal model for the evaluation of system performance based on a pragmatic model.  ...  The input rate to Petri net is equal to tag PAoccurrence and actors use the activity diagram for reaching its use case.  ... 
doi:10.5267/j.msl.2014.6.015 fatcat:v4gouuf5mbhqpnxku2ebfnyzvi

Integration of the Cimosa and high-level coloured Petri net modelling techniques with application in the postal process using hierarchical dispatching rules

K S Wong, R M Parkin, J Coy
2007 Proceedings of the Institution of mechanical engineers. Part B, journal of engineering manufacture  
Integration of the Cimosa and high-level coloured Petri net modelling techniques with application in the postal process using hierarchical dispatching rules.  ...  The highlevel coloured Petri nets method provides the mechanism to simulate the dynamics of objects and their characteristics, and also to enable communication among the objects.  ...  ACKNOWLEDGEMENTS The support of the Royal Mail plc, UK, the Leeds Mail Sorting Office, the Mechatronics Research Group, Ashley Shaw, Francois B. Vernadat, Wil M.  ... 
doi:10.1243/09544054jem511 fatcat:hhk4eosjsjfbnhqlf6evpbcaji

Identification of detailed behaviour of Flexible Manufacturing Cell using Hierarchical Timed Coloured Petri Nets

Sanjib Kumar Saren, Florin Blaga, Tiberiu Vesselenyi, N. Balc
2017 MATEC Web of Conferences  
Under Action Plan 2 for the year 2015-2018.  ...  The paper published has been sponsored under the Erasmus mundus partnership program agreement vide number 2014-0855/001-001 coordinated by and between University of Oradea and City University of London  ...  Viswanadham in [4] uses Coloured Petri Nets to model and invariant analysis of Flexible manufacturing cell.  ... 
doi:10.1051/matecconf/201713701011 fatcat:zt2nb5k24ze4xd7dswswxmhthe

Business process redesign: A Petri-net-based approach

W.M.P. van der Aalst, K.M. van Hee
1996 Computers in industry (Print)  
Mapping business processes onto high-level Petri nets High-level Petri nets are suitable for the modelling and analysis of business processes.  ...  In this paper high-led Petri nets are proposed as a tool for the modelling and analysis of business processes.  ...  Since 1994 he is also a member of the board of directors of Bakkenist Management Consultants.  ... 
doi:10.1016/0166-3615(95)00051-8 fatcat:r3eav6ckqrbx5k4fxt6lwj7cqy

Modelling and evaluation of time aspects in business processes

J Dehnert, J Freiheit, A Zimmermann
2002 Journal of the Operational Research Society  
Petri nets: properties, analysis and applica- tions. Proc IEEE 77: 541-580. Jensen K (1992). Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, Volume 1.  ...  The model is based on a concept of independent models for the control flow and organizational aspects, both using a dedicated class of coloured stochastic Petri nets.  ... 
doi:10.1057/palgrave.jors.2601416 fatcat:4uiz7kkr6vckppiwmreecseb2e

Generating Interface Prototype for EnergyPlus IDD File Using Unified Modeling Language and Coloured Petri-nets

Bachkhaznadji Abdeldjebbar, Belhamri Azeddine
2012 Energy Procedia  
Coloured Petri-nets are used in specification and check on the behaviour of these interfaces before their implementation.  ...  The result of the overall approach is a specification consisting of a global coloured Petri-net which can be analysed by means of a simulation together with the generated and refined IDD interface prototype  ...  (WG 8 ) A disabled Coloured Petri-nets Coloured Petri-nets (CP-nets) is a modelling language for systems, where synchronisation, communication, concurrency, and resource sharing play a major role.  ... 
doi:10.1016/j.egypro.2012.05.164 fatcat:e5b3eq2gircyno7bix4xckk3zq

Internet-enabled modelling of extended manufacturing enterprises using process-based techniques

Kai Cheng, Yaroslav Popov
2004 The International Journal of Advanced Manufacturing Technology  
It is proposed to apply the Open System Architecture for CIM (CIMOSA) modelling framework alongside with object-oriented Petri Net models of enterprise processes and objectoriented techniques for extended  ...  The main features of the proposed approach are described and some components discussed. Elementary examples of object-oriented Petri Net implementation and real-time visualisation are presented.  ...  The paper describes the implementation of two-layer Petri Net process models using the Object and Place/Transition Petri Nets.  ... 
doi:10.1007/s00170-003-1725-8 fatcat:yy7s24nugvhmxfmyw7y3ctpvty

Using TimeNET to Evaluate Operational Planning Processes [chapter]

Jörn Freiheit, Jonathan Billington
2004 Lecture Notes in Computer Science  
In particular we consider the affect of timing in operational planning processes. We use TimeNET for modelling. It provides methods needed to analyse the performance of the model.  ...  Using TimeNET, a resource model and associated workflow models are required. The resource model describes the structure of the modelled process, the resources  ...  Acknowledgements The authors would like to thank Lin Zhang and Brice Mitchell of the Defence Science & Technology Organisation for their valuable discussions about JMAP and Armin Zimmermann of the Technische  ... 
doi:10.1007/978-3-540-25970-1_2 fatcat:r6cy4nfo4rgobdu2xxd4d64pia

Page 1044 of The Journal of the Operational Research Society Vol. 53, Issue 9 [page]

2002 The Journal of the Operational Research Society  
The set of token colours is given by the object tokens used in the inscriptions plus the pre- defined type of elementary tokens.  ...  Compilation of a joint model In a coloured Petri net, each transition may have several firing possibilities depending on the current model state (the marking).  ... 

Holonic communication structure with formal models of cooperative autonomous mobile robots

Grigor Stambolov, Tadas Sperauskas, Rimvydas Simutis, Arunas Lipnickas
2009 2009 IEEE International Workshop on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications  
To implement the proposed cooperation between autonomous mobile robots the developed UML sequence, collaboration diagrams, Petri Nets models for simulation of communication and cooperation structure are  ...  used.  ...  model (developed in environment of HPSim) can be used like a basis Petri net model to developed complex models in another environment, like a Coloured Petri net.  ... 
doi:10.1109/idaacs.2009.5342928 fatcat:buykznqi2vhs3pg5m5byc2eahe

Object-oriented Petri nets for modelling and analysis of automated manufacturing systems

Li-Chih Wang
1996 Computer-integrated manufacturing systems  
Based on the basic OPN model, we need to construct the Object Communication Net (OCNet) for each physical object, and then employ the theory of invariants to perform the deadlock analysis.  ...  This paper presents an Object-oriented Petri Net (OPN) approach to model and analyse the dynamic behaviours of an Automated Manufacturing System (AMS).  ...  The author would like to acknowledge the two anonymous referees for their helpful comments.  ... 
doi:10.1016/0951-5240(95)00032-1 fatcat:jwwkgcozlfhkvgqm5zirsupcza

An anthropocentric approach to developing modern simulation-based decision support tools [chapter]

C.-V. Bobeanu, F.-G. Filip
1996 IFIP Advances in Information and Communication Technology  
In addition to several remarkable technology advances enabling a mimic of the human brain activity, a human centred approach is intended and pleaded for.  ...  In this very perspective the authors' current results in developing a Petri nets-based simulation shell for manufacturing systems, are referred. Several interface issues are specifically dealt with.  ...  MODCPN -A PETRI NETS-BASED SIMULATION SHELL FOR MANUFACTURING SYSTEMS Petri nets are an often used graphical and mathematical modelling tool for the specification and analysis of systems which can be defined  ... 
doi:10.1007/978-0-387-35065-3_49 fatcat:3k4qzexqybhdfeptoens2rvqvu

Coloured Petri Nets [chapter]

Kurt Jensen
1987 Lecture Notes in Computer Science  
Coloured Petri Nets 34 Protocol for telephone network Transport layer of a protocol for digital telephone communication.  ...  Some prototypes of computer tools for invariants analysis do exist. However, none of them are at a state where they can be widely used.  ...  Timed CP-nets The computer tools for CP-nets also support state space analysis of timed CP-nets.  ... 
doi:10.1007/978-3-540-47919-2_10 fatcat:ccurqe7vdjbltd5xijzweofmnu

Active Tokens for Modelling Mental Health Care with Coloured Stochastic Petri Nets

Kristina Dammasch, Graham Horton
2007 2007 Innovations in Information Technologies (IIT)  
Petri nets are a well-known paradigm for simulating dynamic systems. Coloured Petri nets are characterised by tokens with attributes whose values are changed by events in the model.  ...  In this paper we would like to introduce the concept of active tokens in coloured stochastic Petri nets that enables the modelling of changing attributes independently of system events and without adding  ...  For these reasons we chose to use coloured stochastic Petri nets and to extend them to include autodynamic token attributes.  ... 
doi:10.1109/iit.2007.4430447 fatcat:g5wotm6vz5c7zn65dhmom66h64

Straightforward Petri Net-based Event Log Generation in ProM

Seppe K.L.M. Vanden Broucke, Jan Vanthienen, Bart Baesens
2014 Social Science Research Network  
Although a large number of tools already exist for the simulation and analysis of Petri nets (CPN Tools being among the most notable), no technique exists which allows for the rapid generation of event  ...  TECHNICAL REPORT In this report, we present a ProM plugin which allows for straightforward event log generation, using token-based simulation driven by Petri net models.  ...  We would like to thank the KU Leuven research council for nancial support under grant OT/10/010 and the Flemish Research Council for nancial support under Odysseus grant B.0915.09.  ... 
doi:10.2139/ssrn.2489051 fatcat:xpnq3l7so5byzpyvzkjazsfe7i
« Previous Showing results 1 — 15 out of 2,856 results