A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Orthogonal transformations for coloured Petri nets
[chapter]
1997
Lecture Notes in Computer Science
Preserved Fulltext
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
{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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
, 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
2011
Applications and Theory of Petri Nets
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2010
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2022
Frontiers in Systems Biology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2011
Proceedings of the 9th International Conference on Computational Methods in Systems Biology - CMSB '11
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2018
Natural Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2019
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2018
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2001
The International Journal of Advanced Manufacturing Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
Formal Aspects of Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Electronic Communications of the EASST
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Advances in Intelligent Systems and Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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