Filters








103 Hits in 4.8 sec

Coverage Analysis of Net Inscriptions in Coloured Petri Net Models [article]

Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz
2020 arXiv   pre-print
The contribution of this paper is an approach that establishes a link between coverage analysis known from programming languages and net inscriptions of CPN models.  ...  High-level Petri net such as Coloured Petri Nets (CPNs) are characterised by the combination of Petri nets and a high-level programming language.  ...  This confirms our hypothesis that code coverage of net inscriptions of CPN models adds value to the analysis.  ... 
arXiv:2005.09806v1 fatcat:it2pfmlksrhmxf7ayni5fldryi

Formal modelling and performance evaluation of a novel role-based Routing Algorithm for wireless sensor networks

M.C. Ruiz, J.A. Mateo, H. Macia, J.J. Pardo, T. Olivares
2012 2012 18th International Conference on Advanced Computing and Communications (ADCOM)  
This paper presents a formal study of NORA. Coloured Petri Nets (CPNs) have been chosen as an appropriate modelling language.  ...  There is a clear need for the use of formal methods to validate system performance and functionality prior to the deployment of such algorithms in a real environment.  ...  Prioritised-Timed Coloured Petri Nets We use prioritised-timed coloured Petri nets (PTCPNs), which are a prioritised-timed extension of coloured Petri nets [2] , the well-known model supported by CPN  ... 
doi:10.1109/adcom.2012.6563577 fatcat:pnpdcgtlvfhn5lcdprl5cgvovu

Reliability and efficiency evaluation of a community pharmacy dispensing process using a coloured Petri-net approach

Matthew Naybour, Rasa Remenyte-Prescott, Matthew J. Boyd
2019 Reliability Engineering & System Safety  
This paper presents a Coloured Petri Net (CPN) modelling technique for analysing the reliability and efficiency of a community pharmacy dispensing process.  ...  While severe cases of dispensing inaccuracies often garner a high level of media coverage, less significant errors are also causing inefficiencies in primary healthcare delivery.  ...  Coloured Petri nets Colours can be added to a Petri net framework. In this paper, combinations of colour sets are used to define a set of distinct token types.  ... 
doi:10.1016/j.ress.2018.09.022 fatcat:afjxdrdhsjcpje6gwqxncljtaq

A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration [chapter]

Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaida
2008 Lecture Notes in Business Information Processing  
The semantics and its application are described on the basis of translation rules to Coloured Petri Nets and the benefits of formalisation are shown.  ...  We present a semantic formalisation of the interaction protocols notations used in our approach.  ...  In the other hand, Coloured Petri Nets (CPN) [9] are a well known and established model of concurrency, and can support the expression of a greater range of interactions.  ... 
doi:10.1007/978-3-540-68644-6_6 fatcat:di645ndvtrd2vpvwhaerxkevae

Model checking object petri nets in prolog

Berndt Farwer, Michael Leuschel
2004 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04  
Object Petri nets (OPNs) provide a natural and modular method for the modelling of many real-world systems.  ...  We give a structure-preserving translation of OPNs to Prolog, avoiding the need for an unfolding to a flat Petri net.  ...  P/T nets, coloured Petri nets, and algebraic Petri nets amongst other formalisms have been successfully modelled in Maude.  ... 
doi:10.1145/1013963.1013970 dblp:conf/ppdp/FarwerL04 fatcat:cu3femfirrfq5k5zlvj27fxiki

Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 10-12 June 1998

Kurt Jensen
1998 DAIMI Report Series  
This booklet contains the proceedings of the 1998 Workshop on Practical Use of Coloured Petri Nets and Design/CPN.  ...  The papers are also available in electronic form via the CPN Web pages at University of Aarhus: http://www.daimi.au.dk/CPnets/  ...  Coloured Petri nets and the support of Design/CPN make up a very powerful modelling and analysis tools.  ... 
doi:10.7146/dpb.v27i532.7649 fatcat:6etzboywojbbjidwfpcyxh2br4

Petri Net Based Modelling of Communication in Systems on Chip [chapter]

Holger Blume, Thorsten von, Jochen Schleifer, Tobias G.
2008 Petri Net, Theory and Applications  
Coloured Petri nets In this section a short introduction to Coloured Petri Nets (CPN) and to the software CPNtools (Ratzer, 2006) that has been used for the modelling examples discussed here, is given  ...  For these examples deterministic and stochastic Petri Nets have been applied as modelling technique. More complex NoC communication has been modelled applying Coloured Petri Nets.  ...  The intuitively appealing graphical notation makes Petri nets the model of choice in many applications.  ... 
doi:10.5772/5312 fatcat:l2uvuvgd7zedldxmsv362tuwza

Petri Nets for Component-Based Software Systems Development [chapter]

Leandro Dias da Silva, Kyller Gorgonio, Angelo Perkusich
2008 Petri Net, Theory and Applications  
As mentioned in the introduction, in the context of this chapter an extension of Petri nets called Hierarchical Coloured Petri Nets (HCPN) is used as a description language.  ...  Petri nets (Murata, 1989) , and more specifically Hierarchical Coloured Petri Nets (HCPN) (Jensen, 1992 .  ...  The intuitively appealing graphical notation makes Petri nets the model of choice in many applications.  ... 
doi:10.5772/5330 fatcat:f7xz3myuujdhpjuulvrew5vywu

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 papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop08  ...  This paper has been supported by the grant of the Scientific Grant Agency VEGA 1/4057/07 in the Slovak Republic and the research project MŠM 0021627505 -Theory of transport systems in the Czech Republic  ... 
doi:10.7146/dpb.v37i588.7188 fatcat:46y3jj345zha7etipizaaoiism

Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets [chapter]

Michael Westergaard, Fabrizio M. Maggi
2011 Lecture Notes in Computer Science  
We present a coloured Petri net model of a protocol satisfying our requirements.  ...  We present techniques to make analysis of the large state-space of the model possible, including modeling techniques and an improved state representation for coloured Petri nets allowing explicit representation  ...  The authors wish to thank Marco Montali for his input to the design of the new operational support protocol.  ... 
doi:10.1007/978-3-642-21834-7_10 fatcat:ohdwhzuxbvcebk7i7fjrcyufr4

Third Workshop on Modelling of Objects, Components, and Agents

Daniel Moldt
2004 DAIMI Report Series  
This booklet contains the proceedings of the Third International Workshop on Modelling of Objects, Components, and Agents (MOCA'04), October 11-13, 2004.  ...  The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark and the "Theoretical Foundations of Computer Science" group at the University of Hamburg.  ...  Acknowledgement The authors are thankful for a number of interesting remarks and comments provided by four anonymous reviewers.  ... 
doi:10.7146/dpb.v33i571.7128 fatcat:hplsl7dywrhppi2dzascdu3huq

A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version) [article]

Massimiliano de Leoni, Paolo Felli, Marco Montali
2018 arXiv   pre-print
a Petri net-based process model, enriched with case data and decisions.  ...  In particular, we present an effective, implemented technique that verifies soundness by translating the input net into a colored Petri net with bounded color domains, which can then be analyzed using  ...  This will be discussed further in Section 5.4. Soundness Verification Coloured Petri Nets (CPNs) are an extension to Data Petri Nets that have a better support for time and resource [10] .  ... 
arXiv:1804.02316v1 fatcat:2yzcsxzmozhrvlpjxhd2xi72ee

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 papers are also available in electronic form via the web pages: http://www.cs.au.dk/CPnets/events/workshop09  ...  Modelling and Analysis of Railway Network Control Logic using Coloured Petri Nets.  ... 
doi:10.7146/dpb.v38i590.7187 fatcat:t5yh5d4v7jbjjj7wghs2ba6ida

Genetic Process Mining [chapter]

W. M. P. van der Aalst, A. K. Alves de Medeiros, A. J. M. M. Weijters
2005 Lecture Notes in Computer Science  
CPN Tools CPN Tools is a software package that supports the modelling, execution and analysis of Coloured Petri nets (CP-nets) [55, 56] .  ...  The "Performance Analysis with Petri Nets" also works based on a model and a log.  ... 
doi:10.1007/11494744_5 fatcat:5or5zabuave2vpftpvdqfbiwvy

Practical Use of High-level Petri Nets

Kurt Jensen
2000 DAIMI Report Series  
This booklet contains the proceedings of the Workshop on Practical Use of High-level Petri Nets, June 27, 2000.  ...  The workshop is part of the 21st International Conference on Application and Theory of Petri Nets organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark.  ...  In this paper, CPNs, with the aid of a software tool called Design/CPN [14], are used to model the operation of RSVP and to analyse it based on the RSVP specification [4].  ... 
doi:10.7146/dpb.v29i547.7081 fatcat:n5axy6u5dbhmjiox45q4wanmhu
« Previous Showing results 1 — 15 out of 103 results