Filters








759 Hits in 2.9 sec

Orthogonal transformations for coloured Petri nets [chapter]

Eike Best, Thomas Thielke
1997 Lecture Notes in Computer Science  
In this paper we describe a multirelational approach for performing linear algebraic manipulations of (coloured) Petri nets.  ...  In particular, we show how orthogonal transformations can be used in order to describe the net folding and unfolding operations. nite iff the set fx2Xj (y)6 =0g is nite.  ...  We also thank the anonymous reviewers for their comments.  ... 
doi:10.1007/3-540-63139-9_50 fatcat:7hrlgxqk7ffsjjgo4jzayahype

Page 6516 of Mathematical Reviews Vol. , Issue 98J [page]

1998 Mathematical Reviews  
{For the entire collection see MR 98i:68002. } 98j:68119 68Q90 Best, Eike (D-OLD; Oldenburg); Thielke, Thomas (D-HILD-1; Hildesheim) Orthogonal transformations for coloured Petri nets.  ...  In particular, we show how orthogonal transformations can be used in order to describe the net folding and unfolding opera- tions.”  ... 

Page 5859 of Mathematical Reviews Vol. , Issue 98I [page]

1998 Mathematical Reviews  
, Orthogonal transformations for coloured Petri nets (447-466).  ...  A Petri-net-based approach (62-81); Daniel Moldt and Frank Wien- berg, Multi-agent-systems based on coloured Petri nets (82-101); Peter Habermehl, On the complexity of the linear-time u-calculus for Petri  ... 

Extending PNML Scope: the Prioritised Petri Nets Experience

Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci
2011 Applications and Theory of Petri Nets  
Then, the approach is generalised so as to be used at a later stage for other Petri nets extensions.  ...  The Petri net standard ISO/IEC 15909 comprises 3 parts. The first one defines the most used net types, the second an interchange format for these -both are published.  ...  Orthogonality and compatibility of combined extensions to define new Petri net types are paramount for the semantic aspect of the new net types, in particular regarding firing rules.  ... 
dblp:conf/apn/HillahKLP11 fatcat:ekbpmbb7o5fvfps4tuczrpwga4

Timed Coloured Petri Nets for Performance Evaluation of DSP Applications: The 3GPP LTE Case Study [chapter]

Laura Frigerio, Kellie Marks, Argy Krikelis
2010 IFIP Advances in Information and Communication Technology  
In this paper we propose the use of Timed Coloured Petri Nets for the Performance Evaluation of Hardware/Software systems for DSP applications.  ...  This article proposes a framework to evaluate the performance of HW/SW systems in which Timed Coloured Petri Nets can be exploited in the early phases of the design.  ...  Formal definitions Coloured Petri Nets are an extension of classical Petri Nets, introduced by C. A. Petri [14] .  ... 
doi:10.1007/978-3-642-12267-5_7 fatcat:vj24uprr3rewroxykokd65hgly

From Epidemic to Pandemic Modelling

Shannon Connolly, David Gilbert, Monika Heiner
2022 Frontiers in Systems Biology  
Our approach builds on the use of coloured stochastic and continuous Petri nets facilitating the sound component-based extension of basic SIR models to include population stratification and also spatio-geographic  ...  All uncoloured Petri nets can be animated within a web browser at https://www-dssz.informatik.tu-cottbus.de/DSSZ/Research/ModellingEpidemics, assisting the comprehension of those models.  ...  like to thank George Assaf, Jacek Chodak, Robin Donaldson, Mostafa Herajy, Ronny Richter, Christian Rohr, Martin Schwarick and many students at the Brandenburg Technical University, Cottbus, Germany for  ... 
doi:10.3389/fsysb.2022.861562 fatcat:etde5rlfcbbxhayv24vf2h2zj4

From Epidemic to Pandemic Modelling [article]

Shannon Connolly, David Gilbert, Monika Heiner
2021 arXiv   pre-print
Our approach builds on the use of coloured stochastic and continuous Petri nets facilitating the sound component-based extension of basic SIR models to include population stratification and also spatio-geographic  ...  We present a methodology for systematically extending epidemic models to multilevel and multiscale spatio-temporal pandemic ones.  ...  like to thank George Assaf, Jacek Chodak, Robin Donaldson, Mostafa Herajy, Ronny Richter, Christian Rohr, Martin Schwarick and many students at the Brandenburg Technical University, Cottbus, Germany for  ... 
arXiv:2107.00835v1 fatcat:3xe2l6n6bbgppc64xjavxmhauy

A multiscale approach to modelling planar cell polarity in Drosophila wing using hierarchically coloured Petri nets

Qian Gao, Fei Liu, David Gilbert, Monika Heiner, David Tree
2011 Proceedings of the 9th International Conference on Computational Methods in Systems Biology - CMSB '11  
In this paper we present an approach to model at different spatial scales, using the new concept of hierarchically coloured Petri Nets (HCPN).  ...  different levels of abstraction that can be used in order to assist the systematic modelling of such a complex system involving intra-and inter-cellular signalling mechanisms, and we provide a design pattern for  ...  Coloured Petri nets in Systems Biology.  ... 
doi:10.1145/2037509.2037538 dblp:conf/cmsb/GaoLGHT11 fatcat:ean2owuf55h3xpelrgdhdywbvm

Petri-net-based 2D design of DNA walker circuits

David Gilbert, Monika Heiner, Christian Rohr
2018 Natural Computing  
Our 2D modelling approach of DNA walker circuits relies on coloured stochastic Petri nets which enable functionality, topology and dimensionality all to be integrated in one two-dimensional model.  ...  One of the challenges for the design of reliable walker circuits consists in leakage transitions, which occur when a walker jumps into another branch of the decision graph.  ...  Acknowledgements We would like to thank Benoît Barbot for providing the Petri net files for all case studies and the program source to generate them as used in Barbot and Kwiatkowska (2015) .  ... 
doi:10.1007/s11047-018-9671-4 pmid:29576759 pmcid:PMC5856876 fatcat:kforht3ksndbvnguychba3r7aq

Algebras of coloured Petri nets

Pommereau Franck
2019 Zenodo  
This document surveys my research work about a framework of composable coloured Petri nets.  ...  Extensions are made in such a way that the underlying model of coloured Petri net is preserved and the usual analysis tools and techniques can still be used.  ...  provide all the information needed for compositions; operators are then defined as transformations on Petri nets.  ... 
doi:10.5281/zenodo.3478451 fatcat:okuk6z4gavaklbn4nvprilulxy

Industrial applications of the PetriDotNet modelling and analysis tool

András Vörös, Dániel Darvas, Ákos Hajdu, Attila Klenik, Kristóf Marussy, Vince Molnár, Tamás Bartha, István Majzik
2018 Science of Computer Programming  
Since their invention, Petri nets have provided modelling and analysis methods to support the design of correct, reliable and robust systems.  ...  This motivated our work to develop PetriDotNet, a Petri net editor and analysis tool. In this paper we overview the supported modelling formalisms and the analysis methods included in PetriDotNet.  ...  We are especially grateful for the work of B. Szilvási, A. Jámbor, Z. Mártonka, D. Segesdi, and T. Szabó. We thank M. Telek for the assistance in the design of stochastic analysis algorithms.  ... 
doi:10.1016/j.scico.2017.09.003 fatcat:3ceytamrxjatbdkdqv4ea5niea

A Hybrid Specification Method for the Design of a Workcell Controller in Manufacturing Systems

H.-F. Lai, C.-E. Lee
2001 The International Journal of Advanced Manufacturing Technology  
This paper presents a hybrid specification method (HSM) for the description and design of a workcell controller in a manufacturing system.  ...  Programmable logic controller (PLCs) programs that represent the low-level abstraction are finally transformed from the statecharts.  ...  Petri nets. A Petri net is the most frequently used tool for manufacturing systems modelling.  ... 
doi:10.1007/s001700170103 fatcat:pjhi6sfkxnhrrhl247reipg6yy

Statechartable Petri nets

Rik Eshuis
2011 Formal Aspects of Computing  
The translation is proven sound and complete for statechartable Petri nets.  ...  While translations from statecharts to Petri nets exist, a well-defined translation from Petri nets to statecharts is lacking.  ...  Another extension is to consider Petri nets with events or data, for instance coloured Petri nets [Jen92] , and statecharts with local variables and action statements as in STATE-MATE [HN96] and UML  ... 
doi:10.1007/s00165-011-0204-5 fatcat:q2xhpfcy4vhifnsljuscszswtm

Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets

Frank Hermann, Andrea Corradini, Hartmut Ehrig, Barbara König
2010 Electronic Communications of the EASST  
For this purpose, we construct a Place/Transition Petri net, called dependency net, which encodes the dependencies among rule applications of the derivation, including the inhibiting effects of the NACs  ...  The analysis of permutation equivalence is important for analysing simulation runs within development environments for systems modelled by graph transformation.  ...  For this purpose, we construct a subobject transformation system (STS) via a standard colimit construction and from this STS we construct a dependency net, given by a standard P/T Petri net, which includes  ... 
doi:10.14279/tuj.eceasst.29.415 dblp:journals/eceasst/HermannCEK10 fatcat:dhdjhhwfindonp3xuqr3jcisai

Modelling Timed Concurrent Systems Using Activity Diagram Patterns [chapter]

Étienne André, Christine Choppy, Thierry Noulamo
2015 Advances in Intelligent Systems and Computing  
also allows for refinement, and we formalise the semantics of our patterns using time Petri nets.  ...  UML is the de facto standard for modelling concurrent systems in the industry. Activity diagrams allow designers to model workflows or business processes.  ...  A major difference is that coloured Petri nets feature coloured tokens, whereas we use here standard, "null-typed" tokens.  ... 
doi:10.1007/978-3-319-11680-8_27 fatcat:esojz35rvnebtdnxqkylvpxwgi
« Previous Showing results 1 — 15 out of 759 results