Filters








75 Hits in 3.5 sec

Page 8174 of Mathematical Reviews Vol. , Issue 2004j [page]

<span title="">2004</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;
to prove non-reachability in timed Petrinets.  ...  In this paper, we present an approach to prove non-reachability within the actual timed Petri net. For this purpose, we introduce a state equation for timed Petri nets in analogy to timeless nets.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2004-10_2004j/page/8174" 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_2004-10_2004j/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Rewriting in Practice [chapter]

Ashish Tiwari
<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 discuss applications of rewriting in three different areas: design and analysis of algorithms, theorem proving and term rewriting, and modeling and analysis of biological processes.  ...  Apart from questions about reachability, one is also interested in characterizing certain kinds of steady state behaviors. A steady state behavior is a rewrite derivation with certain properties.  ...  Maude is being extensively used to formally represent knowledge about biological processes. This knowledge is captured in the form of a Petrinet (represented in Maude).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-21691-6_3">doi:10.1007/978-3-642-21691-6_3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fa4763xizjhhbjt7vwxikz54wu">fatcat:fa4763xizjhhbjt7vwxikz54wu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706031908/http://drops.dagstuhl.de/opus/volltexte/2011/3132/pdf/25.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/68/d9/68d9b3c82a32614d3335332fcd0e41e3e62bff31.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-21691-6_3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

ESA PetriNet: Petri net based tool for reliability analysis

R. Guillerm, H. Demmou, N. Sadou
<span title="">2009</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hyrfp4q26bahtlwucwlaapnfwy" style="color: black;">2009 IEEE International Conference on Systems, Man and Cybernetics</a> </i> &nbsp;
ESA PetriNet can be used with classical Petri net modelling or in its objects oriented version.  ...  To derive critical scenarios and to avoid the state space explosion, the solution is to use directly the Petri net model.  ...  The goal is to determine the reachability of the critical state and to identify the scenarios that lead to it, or to prove that the critical state will never be reached.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icsmc.2009.5346090">doi:10.1109/icsmc.2009.5346090</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/smc/SadouGD09.html">dblp:conf/smc/SadouGD09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xufeutrlofbunadxhsh6okbzim">fatcat:xufeutrlofbunadxhsh6okbzim</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170928213730/https://hal.archives-ouvertes.fr/hal-00766146/document" 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/c2/47/c2478e2198d281774ff33975f7f55a0cf3443d41.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icsmc.2009.5346090"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Design, Validation, Simulation and Parametric Evaluation of a Novel Protocol for Locating Mobile Agents in Multiregion Environment

Rama Sushil, Kumkum Garg, Rama Bhargava
<span title="2008-03-01">2008</span> <i title="Science Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wake4w3hqzd4ndiy2zowpciv64" style="color: black;">Journal of Computer Science</a> </i> &nbsp;
We used the tool time Petri net analyzer TINA to model, analyze and to simulate BSPC. We found that the BSPC behaves as expected and free from any deadlock.  ...  Mobile agents are processes that can be dispatched from source computer and be transported to remote servers for execution, have been widely argued to be an important enabling technology for future systems  ...  It has been proved that the reachability problem is decidable [22] although it takes exponential space (and time) to verify in the general case.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3844/jcssp.2008.256.271">doi:10.3844/jcssp.2008.256.271</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xoraqmew7fbndhfr4bupkbsymy">fatcat:xoraqmew7fbndhfr4bupkbsymy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810004522/http://thescipub.com/PDF/jcssp.2008.256.271.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/ca/48/ca48b96effcfde846f588183e3716f0e37119821.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3844/jcssp.2008.256.271"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Petri Net Based Modeling and Property Analysis of Distributed Discrete Event System

<span title="2019-10-10">2019</span> <i title="Blue Eyes Intelligence Engineering and Sciences Engineering and Sciences Publication - BEIESP"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cj3bm7tgcffurfop7xzswxuks4" style="color: black;">VOLUME-8 ISSUE-10, AUGUST 2019, REGULAR ISSUE</a> </i> &nbsp;
PetriNet is an imperative and handy language used for modeling and analysis of discrete event system (DES) i.e. a dynamic system that progress according to unexpected occurrence of events at probably unknown  ...  These properties are not only necessary for proving the correctness of system model but also helpful in checking the deadlock conditions in a system.  ...  Being a graphical tool, it has the capabilities of a flowchart, block diagram while being a mathematical tool it is possible to derive state equations or algebraic equations as required.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.35940/ijitee.l3392.1081219">doi:10.35940/ijitee.l3392.1081219</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ugty6iawi5aq5h4apmom44mbb4">fatcat:ugty6iawi5aq5h4apmom44mbb4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220308075559/https://www.ijitee.org/wp-content/uploads/papers/v8i12/L33921081219.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/f4/04/f4045fbb332ff5562504aeab6d959ab9d5738ccd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.35940/ijitee.l3392.1081219"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Fault Diagnosis for Distributed Systems using Accuracy Technique [article]

Poorva Kulkarni, Varsha Deshpande, Latika Sarna, Sumedha Shenolikar, Supriya Kelkar
<span title="2018-12-19">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This paper examines various techniques of handling faults in distributed systems and proposes and innovative technique which uses percent accuracy for detecting faulty nodes in the system.  ...  This technique is also applicable to ad-hoc networks, which are static in nature.  ...  Petrinets prove to be a solution to this problem as they do not use iterations. They can be used for distributed networks and also for single fault and multiple faults detection [8] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1812.07771v1">arXiv:1812.07771v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/52ti2s6k7fgwlczbznpuzwmw5i">fatcat:52ti2s6k7fgwlczbznpuzwmw5i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200827012020/https://arxiv.org/ftp/arxiv/papers/1812/1812.07771.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/9c/bb/9cbbe78f8370ef3520b39ef2a56820fd21ca8fd9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1812.07771v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

A Petri Net Representation Of A Web-Service- Based Emergency Management System In Railway Station

Suparna Karmakar, Ranjan Dasgupta
<span title="2011-11-23">2011</span> <i title="Zenodo"> Zenodo </i> &nbsp;
Railway Stations are prone to emergency due to various reasons and proper monitor of railway stations are of immense importance from various angles.  ...  A Petri-net representation of a web-service-based Emergency management system has been proposed in this paper which will help in monitoring situation of train, track, signal etc. and in case of any emergency  ...  the reachability analysis technique of Petri net they have proved the correctness of their model.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.1078751">doi:10.5281/zenodo.1078751</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/225ywjl6ijaytln2wkhkudwc4e">fatcat:225ywjl6ijaytln2wkhkudwc4e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200306134440/https://zenodo.org/record/1078751/files/12204.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/fa/cf/facff04f9e4bf0ac5cc29d09ea5ec9664d425d2c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.1078751"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> zenodo.org </button> </a>

Web Service Composition Framework using Petrinet and Web Service Data Cache in MANET

M. Deivamani, S.R. Murugaiyan, V. Ravisankar, P. Victer Paul, R. Baskaran, P. Dhavachelvan
<span title="2015-04-01">2015</span> <i title="Agora University of Oradea"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/do4a7az725gcpbh4iwwih3j7aa" style="color: black;">International Journal of Computers Communications &amp; Control</a> </i> &nbsp;
In addition to these, the performance improvement of WSCM using DST and ACO optimized DST techniques in MANET has been proved experimentally using Precision and Data Reliability of the system using appropriate  ...  Every neighboring node in the MANET is likely to have similar task and interests, several nodes might need to access the similar web service at different times.  ...  Petri Net is used to mainly identify the reachability of the compatible web services within the domain.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15837/ijccc.2015.2.1751">doi:10.15837/ijccc.2015.2.1751</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fhtknxantfcltcqs4gx66vvsle">fatcat:fhtknxantfcltcqs4gx66vvsle</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720215503/http://univagora.ro/jour/index.php/ijccc/article/download/1751/491" 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/5e/a4/5ea4ee04de156a6a873b53643ce27c8c288d1d4f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15837/ijccc.2015.2.1751"> <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>

Rewrite Closure for Ground and Cancellative AC Theories [chapter]

Ashish Tiwari
<span title="">2001</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;
An abstract rewrite closure can be interpreted as a specialized ground tree transducer (pair of bottom-up tree automata) and can be used to efficiently decide the reachability relation → * I E∪I E − ∪I  ...  The procedure is extended, in a modular way, to deal with signatures containing cancellative associative commutative function symbols.  ...  We would like to thank the anonymous reviewers for their helpful comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45294-x_28">doi:10.1007/3-540-45294-x_28</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/e55i6hexizfpdm5gjj5czc32lu">fatcat:e55i6hexizfpdm5gjj5czc32lu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060328174207/http://www.csl.sri.com/users/tiwari/fsttcs01.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/38/a1/38a176e5d721d5e8ca6ac04cfb8bc6e479ed6283.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-45294-x_28"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The regular viewpoint on PA-processes [chapter]

D. Lugiez, Ph. Schnoebelen
<span title="">1998</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;
Furthermore, the corresponding tree-automata can be built effectively in polynomial-time.  ...  PA is the process algebra allowing non-determinism, sequential and parallel compositions, and recursion.  ...  It helps one to understand why some problems can be solved in P-time, some others in NP-time, etc. It is quite versatile and many variants of PA can be attacked with the same approach.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0055615">doi:10.1007/bfb0055615</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tzt5syvuxrb7bjt53tx7hnbkjq">fatcat:tzt5syvuxrb7bjt53tx7hnbkjq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812200002/http://www.lsv.fr/Publis/PAPERS/PDF/LugSch-TCS99.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/da/82/da82af5e42c0b9df05f27f305193788f89e2a9a3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0055615"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The regular viewpoint on PA-processes

D. Lugiez, Ph. Schnoebelen
<span title="">2002</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
Furthermore, the corresponding tree-automata can be built effectively in polynomial-time.  ...  PA is the process algebra allowing non-determinism, sequential and parallel compositions, and recursion.  ...  It helps one to understand why some problems can be solved in P-time, some others in NP-time, etc. It is quite versatile and many variants of PA can be attacked with the same approach.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(00)00306-6">doi:10.1016/s0304-3975(00)00306-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/frka3jprinfbfn6xqbgi3gziji">fatcat:frka3jprinfbfn6xqbgi3gziji</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812200002/http://www.lsv.fr/Publis/PAPERS/PDF/LugSch-TCS99.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/da/82/da82af5e42c0b9df05f27f305193788f89e2a9a3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0304-3975(00)00306-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

The development of an AGVS model by the union of the modulised floor-path nets

Suhua Hsieh, Ying-Jer Shih
<span title="">1994</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uvqilzacoje2vogjcpf5ygyabi" style="color: black;">The International Journal of Advanced Manufacturing Technology</a> </i> &nbsp;
To make sure that the complete model obtained by this method is robust, the modulised floor-path nets are required to possess several essential properties -safeness, boundedness, conservation, reachability  ...  To keep these properties in the complete model after the union, three union rules and an union procedure are proposed.  ...  The token in place Ct is used to prevent vehicles entering Z6 or Z7 at the same time.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bf01792864">doi:10.1007/bf01792864</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/engy6k5h45fcrh6djcjlkxmv7q">fatcat:engy6k5h45fcrh6djcjlkxmv7q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190303041039/http://pdfs.semanticscholar.org/af02/5a946baaa6bf7aeb690710b04ca16d9002ff.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/af/02/af025a946baaa6bf7aeb690710b04ca16d9002ff.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bf01792864"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Battery transition systems

Udi Boker, Thomas A. Henzinger, Arjun Radhakrishna
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2qaxtqe2rfgjnfefqcokcnzelq" style="color: black;">Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL &#39;14</a> </i> &nbsp;
Battery transition systems are infinite state systems that, being not well-structured, fall into no decidable class that is known to us.  ...  Over time, the energy from each tank diffuses to the other tank.  ...  There, using the well-structured properties of Petrinets, the Karp-Miller tree is shown to be a finite summarization of all reachable states, despite there being infinitely-many reachable states.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2535838.2535875">doi:10.1145/2535838.2535875</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/popl/BokerHR14.html">dblp:conf/popl/BokerHR14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2x6whf5grbgbbmzi4klfaiu7x4">fatcat:2x6whf5grbgbbmzi4klfaiu7x4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160823090733/http://www.seas.upenn.edu:80/~arjunrad/publications/popl14.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/d7/ec/d7ec99b654880b001c1528df452d2ab51e5a8211.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2535838.2535875"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Stochastic Petri Nets [chapter]

Thomas G. Robertazzi
<span title="">2000</span> <i title="Springer New York"> Computer Networks and Systems </i> &nbsp;
So properties proven for the Petri net might not hold for the corresponding time-augmented Petri net. E.g., a live Petri net might become deadlocked or a non-live Petri net might become live.  ...  The results are that nets with up to 50 million states can now be analysed on ordinary computing equipment.  ...  which will be useful to us is the average time υ ij spent by the DTMC in state i between two successive visits to state j in steady state.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4612-1164-8_5">doi:10.1007/978-1-4612-1164-8_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ryi4kgwxkjejzex2mqql6e6bhy">fatcat:ryi4kgwxkjejzex2mqql6e6bhy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140801035142/http://ls4-www.cs.tu-dortmund.de:80/cms/de/home/bause/bause_kritzinger_spn_book_print.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/80/aa/80aa5b9d39ac72b03ab6373de4757b147922c13c.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-4612-1164-8_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

An UML Based Performance Evaluation of Real-Time Systems Using Timed Petri Net

Tanuja Shailesh, Ashalatha Nayak, Devi Prasad
<span title="2020-11-27">2020</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mvyhkzd6pbcqznrpy72k57bd6y" style="color: black;">Computers</a> </i> &nbsp;
In this paper, we present an early stage automated performance evaluation methodology to analyse system performance using the UML sequence diagram model annotated with modeling and analysis of real-time  ...  In this paper, a transformation technique and transformation rules are proposed to map the UML sequence diagram model into a Generalized Stochastic Timed Petri net model.  ...  In reachability, each node represents a reachable state and an arc from marking M 1 to M 2 if and only if the marking M 1 is directly followed by M 2 .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/computers9040094">doi:10.3390/computers9040094</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u32zum3t7nfs7lpnrptrp7xplq">fatcat:u32zum3t7nfs7lpnrptrp7xplq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201210211330/https://res.mdpi.com/d_attachment/computers/computers-09-00094/article_deploy/computers-09-00094-v2.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/06/af/06af2da77bdc9f5c8a85ebce0e65db9422067bf3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/computers9040094"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 75 results