Filters








4,989 Hits in 6.1 sec

Page 2543 of Mathematical Reviews Vol. , Issue 98D [page]

<span title="">1998</span> <i title="American Mathematical Society"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_mathematical-reviews" style="color: black;">Mathematical Reviews </a> </i> &nbsp;
, On live- ness and controlled siphons in Petri nets (57-72); Mohamed- Lyes Benalycherif and Claude Girault, Behavioural and struc- tural composition rules preserving liveness by synchronization for colored  ...  Sanders, Expected impulse rewards in Markov regenerative sto- chastic Petri nets (172-191); Serge Haddad and Patrice Moreaux, Asynchronous composition of high level Petri nets: a quantitative approach  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_1998-04_98d/page/2543" title="read fulltext microfilm" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Archive [Microfilm] <div class="menu fulltext-thumbnail"> <img src="https://archive.org/serve/sim_mathematical-reviews_1998-04_98d/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Formal Methods for Checking the Consistency of Biological Models [chapter]

Allan Clark, Vashti Galpin, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston
<span title="2011-11-18">2011</span> <i title="Springer New York"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/er3gzecicffxdofml2pzi2i6pa" style="color: black;">Advances in Experimental Medicine and Biology</a> </i> &nbsp;
Formal modelling approaches such as process algebras and Petri nets seek to provide insight into biological processes by using both symbolic and numerical methods to reveal the dynamics of the process  ...  Backed by these additional analysis methods, formal modelling approaches have been able to identify errors in published and widely-cited biological models.  ...  Structural concepts in Petri nets A number of structural properties have been defined for Petri nets.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4419-7210-1_27">doi:10.1007/978-1-4419-7210-1_27</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/22161346">pmid:22161346</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uie7z2ioprakpag3hvgvikhp5i">fatcat:uie7z2ioprakpag3hvgvikhp5i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190308010926/http://pdfs.semanticscholar.org/ea2c/ea4e97788d07f8273467278e0dbd43410033.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ea/2c/ea2cea4e97788d07f8273467278e0dbd43410033.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4419-7210-1_27"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Time-related Modelling of PLC Systems with Time-less Petri Nets [chapter]

Monika Heiner, Thomas Menzel
<span title="">2000</span> <i title="Springer US"> Discrete Event Systems </i> &nbsp;
At WODES '98, we introduced an approach to modelling and analysis of PLC systems using ordinary Petri nets.  ...  This enforced synchronization behaviour eliminates unrealistic system states in the model, which has two very important consequences for the analysis quality: • safety properties (something bad never happens  ...  Figure 2 illustrates how that may look like as Petri net for the small example of Figure 1 , whereby S_off/S_on stand for external values and S_0/S_1 stand for internal values.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4615-4493-7_28">doi:10.1007/978-1-4615-4493-7_28</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ltqeq3xgznfhthot3t2yypyyqa">fatcat:ltqeq3xgznfhthot3t2yypyyqa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060831124432/http://www.informatik.tu-cottbus.de:80/~wwwdssz/publications/papers/2000_gent_wodes.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/50/db/50db262cf9c53404211953ae88d04397e2122268.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4615-4493-7_28"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Elimination of duplicate labels in Petri-net-based system specification

K.S. Cheung, K.O. Chow
<span title="">2005</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/eksz6udvbjavvlbt4ho3tdsi6q" style="color: black;">The Fifth International Conference on Computer and Information Technology (CIT&#39;05)</a> </i> &nbsp;
For a discrete-event system specified as a labelled Petri net, locations of conditions are denoted as places with condition labels while locations of events are denoted as transitions with event labels  ...  labels and event labels must be eliminated.  ...  In other words, the original system behaviour is preserved (not distorted).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/cit.2005.110">doi:10.1109/cit.2005.110</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/IEEEcit/CheungC05.html">dblp:conf/IEEEcit/CheungC05</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w4ajoswf2zdvndemq4xl6xua5q">fatcat:w4ajoswf2zdvndemq4xl6xua5q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200322103428/http://itc.ktu.lt/index.php/ITC/article/download/12042/6714" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c7/a9/c7a9bc061c7375770ac84c028c36561951c4d64c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/cit.2005.110"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Petri net-based View on the Business Process Life-Cycle

Agnes Koschmider, Andreas Oberweis, Wolffried Stucky
<span title="2018-03-22">2018</span> <i title="Enterprise Modelling and Information Systems Architectures"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yw2eyvkfsjf4rkteb7ziwm72je" style="color: black;">Enterprise Modelling and Information Systems Architectures - An International Journal</a> </i> &nbsp;
In this paper, we refer to the success of Petri nets and describe business process modelling extensions as well as approaches for process modelling, simulation, execution and evaluation relying on Petri  ...  While some process modelling languages were crossed with others or even disappeared, Petri nets are continuously used as modelling language addressing various purposes in the context of business processes  ...  Mayr these extensions or variants of Petri nets have been proposed. International Journal of Conceptual Modeling February 2018.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18417/emisa.si.hcm.4">doi:10.18417/emisa.si.hcm.4</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/emisaij/KoschmiderOS18.html">dblp:journals/emisaij/KoschmiderOS18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b5srvucc6rfbhoffzxhc5qlmvu">fatcat:b5srvucc6rfbhoffzxhc5qlmvu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200112090454/https://www.emisa-journal.org/emisa/article/download/192/131" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/db/ca/dbca942b63f351fe1071e6ee441ebaa3aea20eb0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18417/emisa.si.hcm.4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Analysis of Flexible Manufacturing System using Petri Nets to design a Deadlock Prevention Policy

Shashank Satish More, Dr. S. G. Bhatwadekar
<span title="2016-09-19">2016</span> <i title="ESRSA Publications Pvt. Ltd."> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3j6n6lpsjndinobmibtprywohe" style="color: black;">International Journal of Engineering Research and</a> </i> &nbsp;
The first part introduces the problem of deadlock in FMS, deadlock handling strategies and basic concepts of petri net modeling.  ...  Literature review is presented in the second part and third part shows an illustration of Petri net modeling of a conceptual model of FMS processing two part types, consisting of three machines, a load  ...  Therefore, several techniques have been developed to describe the behaviour of manufacturing systems. One of which are Petri nets (PNs).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17577/ijertv5is090396">doi:10.17577/ijertv5is090396</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dejenut4lvhsxhvurb6yyyrumm">fatcat:dejenut4lvhsxhvurb6yyyrumm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200324025723/https://www.ijert.org/research/analysis-of-flexible-manufacturing-system-using-petri-nets-to-design-a-deadlock-prevention-policy-IJERTV5IS090396.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0b/bc/0bbc7f693a497e6b6fe1cf80a6df158300484f18.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.17577/ijertv5is090396"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Modelling and Control of KRC Systems Using TPN and TA
english

H. Allaa, H. Awad, A. Anwar, E. El-Hajri
<span title="2015-01-20">2015</span> <i title="Ess &amp; Ess Research Publications"> International Journal of Advanced Research in Electrical, Electronics and Instrumentation Engineering </i> &nbsp;
This paper models and supervises kernel railroad crossing (KRC) systems using timed Petri nets and focuses on the control synthesis method, which consists in computing new firing conditions for the timed  ...  The system to be modeled and supervised using timed Petri nets is converted to a TA and is analyzed using automata so that the functioning of the system respects given specifications.  ...  in the Petri net.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15662/ijareeie.2015.0401002">doi:10.15662/ijareeie.2015.0401002</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iwoum4ncnzbadbr3rhqlbpea3i">fatcat:iwoum4ncnzbadbr3rhqlbpea3i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180605193820/http://www.ijareeie.com/upload/2015/january/2_MODELLING_N.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/71/c1/71c125399656e492d6e3bbf0a249db4d289c54ee.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15662/ijareeie.2015.0401002"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Modelling Gas Processing Unit: An Inter-disciplinary Approach Based on Petri Nets

Sanda Florentina Mihalache
<span title="2008-08-09">2008</span> <i title="Revista de Chimie SRL"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jhgh7cvlirhn3a4abcf6aodgwi" style="color: black;">Revista de chimie (Bucuresti)</a> </i> &nbsp;
The selected initial set of modules are structured as Petri net models and made to interact iteratively to provide process states of the system.  ...  This modeling framework is based on identifying as modules, the part of processes that have interactions and can be considered active participants in overall behaviour.  ...  A Petri net containing token is called marked Petri net. In a marked Petri net, transitions may be enabled and fired.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.37358/rc.08.7.1899">doi:10.37358/rc.08.7.1899</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tqrnwgc4mnes7ic67r7qiwrfmi">fatcat:tqrnwgc4mnes7ic67r7qiwrfmi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200505231156/https://revistadechimie.ro/pdf/MIHALACHE%20S.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fc/92/fc922d1eff23945d97f446f5034f0d0580e8ac09.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.37358/rc.08.7.1899"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Representation and Recognition of Agent Interactions Using Marking Analysis in Generalized Stochastic Petri Nets

Artyom Borzin, Ehud Rivlin, Michael Rudzsky
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4x2ph3aacbhaflopv3sj76tgpq" style="color: black;">2007 International Workshop on Content-Based Multimedia Indexing</a> </i> &nbsp;
) and in-modelling technique that can efficiently treat the uncertainty troduces Petri net marking analysis for better scene under-of the video scenes.  ...  The in [3] and then enhanced by [4] . proposed approach integrates behavior modeling techniques The dynamic nature of video clips always requires robust based on Generalized Stochastic Petri Nets (GSPN  ...  The state change in the Petri net model is typically a re-The dynamic behaviour of the Petri net is obtained byfirsult of some activity initiation/completion or a result of condiing tokens from one place  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/cbmi.2007.385389">doi:10.1109/cbmi.2007.385389</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/cbmi/BorzinRR07.html">dblp:conf/cbmi/BorzinRR07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/syyh7bvz3vd3tbq2eihngd2aau">fatcat:syyh7bvz3vd3tbq2eihngd2aau</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20080419020927/http://www.cs.technion.ac.il/~ehudr/publications/pdf/BorzinRR07i.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f3/75/f3757ab90dd5a5f267c1e58ee23d2387f910e526.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/cbmi.2007.385389"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Fourier-Motzkin method for failure diagnosis in Petri Net models of discrete event systems

Ahmed Al-Ajeli, Behzad Bordbar
<span title="">2016</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vswrix5k6rhvxfxb47lwgeq5fy" style="color: black;">2016 13th International Workshop on Discrete Event Systems (WODES)</a> </i> &nbsp;
This method eliminates the variables representing unobservable transitions from a set of inequalities representing state equations in Petri nets.  ...  A Petri net having no directed circuits is called an acyclic Petri net.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/wodes.2016.7497843">doi:10.1109/wodes.2016.7497843</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/wodes/Al-AjeliB16.html">dblp:conf/wodes/Al-AjeliB16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ha27ngo3brbu3msg3devijkor4">fatcat:ha27ngo3brbu3msg3devijkor4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200310064229/http://pure-oai.bham.ac.uk/ws/files/28567419/root.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b1/38/b1382518b31f50ef844ce2f858193c6d46f59538.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/wodes.2016.7497843"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Test Coverage Criteria for Agent Interaction Testing [chapter]

Tim Miller, Lin Padgham, John Thangarajah
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We describe how an existing debugging agent can be used as a test oracle for assessing correctness of a test, and how the Petri Net representation of the debugging agent can be annotated to support test  ...  This emergent behaviour may be difficult or impossible to predict by analysing the parts.  ...  The agent maintains a set of Petri Net instances for each conversation, until it becomes clear by a process of elimination, which protocol is being used.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-22636-6_6">doi:10.1007/978-3-642-22636-6_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ymmxlwiklzdrlm2y2ukurhwtse">fatcat:ymmxlwiklzdrlm2y2ukurhwtse</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140215010903/http://www-old.csse.unimelb.edu.au/~tmill/pubs/aose2010b.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e7/9a/e79a0e70a3c2554df2036364547e9a0a92ac51db.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-22636-6_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Automated Verification of Asynchronous Circuits Using Circuit Petri Nets

Ivan Poliakov, Andrey Mokhov, Ashur Rafiev, Danil Sokolov, Alex Yakovlev
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/plplx3jwbjc33clwi4oo4fxbsq" style="color: black;">2008 14th IEEE International Symposium on Asynchronous Circuits and Systems</a> </i> &nbsp;
An algorithm for automatic conversion of a circuit netlist into a behaviourally equivalent Petri net is proposed.  ...  of Petri net unfoldings.  ...  The authors would like to thank Victor Khomenko for many fruitful discussions regarding Petri net unfoldings, and for his help with PUNF and MPSAT tools, Tomohiro Yoneda for the quick response and valuable  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/async.2008.18">doi:10.1109/async.2008.18</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/async/PoliakovMRSY08.html">dblp:conf/async/PoliakovMRSY08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vnsafsj5argkpgof2nm34xunye">fatcat:vnsafsj5argkpgof2nm34xunye</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200710060148/https://eprint.ncl.ac.uk/file_store/production/6062/CF1AC8DC-87B3-436E-9A32-E3F230ED4FA9.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3f/f4/3ff4f94ba942bfce6ac5cb0292e9d2a289dbf58d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/async.2008.18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

MODELLING OF BIOMETRIC IDENTIFICATION SYSTEM WITH GIVEN PARAMETERS USING COLORED PETRI NETS

G. Petrosyan, L. Ter-Vardanyan, A. Gaboutchian
<span title="2017-05-10">2017</span> <i title="Copernicus GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/i74shj7anreaxjo327fokng66m" style="color: black;">The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences</a> </i> &nbsp;
The objective of this paper is to introduce the fundamental concepts of Petri Nets in relation to tooth shape analysis.  ...  Colored Petri Nets combine the strengths of Classical Petri Nets with the power of a high-level programming language. Coloured Petri Nets have both, formal intuitive and graphical presentations.  ...  Coloured Petri Nets are best suited to analyze system functioning, error eliminating, validation and verification of biometric data.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5194/isprs-archives-xlii-2-w4-145-2017">doi:10.5194/isprs-archives-xlii-2-w4-145-2017</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yiv3ugvb6rba5m2itscx4fk6qm">fatcat:yiv3ugvb6rba5m2itscx4fk6qm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719064911/https://www.int-arch-photogramm-remote-sens-spatial-inf-sci.net/XLII-2-W4/145/2017/isprs-archives-XLII-2-W4-145-2017.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/44/64/44649e70ff141f2aa53bcfc18c2e435395367d20.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5194/isprs-archives-xlii-2-w4-145-2017"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Valuation of strategic production decisions

Axel Brassler, Herfried Schneider
<span title="">2001</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/g3swg5xvjjbr3mbsu5d4kdvvoa" style="color: black;">International Journal of Production Economics</a> </i> &nbsp;
To tackle both problems at once, it might be useful to represent the production processes by a model, based on petri nets.  ...  In the "rst place, a production system is a widely branching value chain with many interrelations. Changes in one area have e!ects in other areas.  ...  Since 1962 Petri nets have been developed further and have been applied in several areas.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0925-5273(99)00135-8">doi:10.1016/s0925-5273(99)00135-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xkvbh3vjwnhodllhiu7c3zrqyy">fatcat:xkvbh3vjwnhodllhiu7c3zrqyy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190302105155/http://pdfs.semanticscholar.org/a218/9bbf368db74eeabfc55b3c24b44f889a12dd.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a2/18/a2189bbf368db74eeabfc55b3c24b44f889a12dd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0925-5273(99)00135-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Reliability Prediction and Sensitivity Analysis of Web Services Composition [chapter]

Duhang Zhong, Zhichang Qi, Xishan Xu
<span title="2008-02-01">2008</span> <i title="I-Tech Education and Publishing"> Petri Net, Theory and Applications </i> &nbsp;
An abstract process is a business protocol specifying the message exchange behaviour between different parties without revealing the internal behaviour of any of them.  ...  In particular, in Stochastic Petri Nets (SPNs) transitions firing delays are exponentially distributed random variables.  ...  based on Petri nets.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/5329">doi:10.5772/5329</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/h5od4ka5ind7xkrad6k5vxxqcq">fatcat:h5od4ka5ind7xkrad6k5vxxqcq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180726191255/https://api.intechopen.com/chapter/pdf-download/727" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/09/1f/091f6aed07674b17a85721dddb277b48e0f5c211.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/5329"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 4,989 results