Filters








14,279 Hits in 4.7 sec

Petri nets and large finite sets

Kenneth McAloon
<span title="">1984</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;
Bounds for the lengths of the searches Involved are obtained in terms of lurgc finite sets in the sense of Paris-Harrington and of Ketonen-Solovay.  ...  An upper bound is given for the complexity of the Karp-Miller decision procedure for the Finite Containment I'rohlem for pairs of Petri nets; the procedure 1s shown to be primitive recursive in the Ackermann  ...  Guy Vidal-Nacquet for sparking his interest in the Petri net model and the referee for his (or her) knowledgeable and rigorous reading of the text.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(84)90029-x">doi:10.1016/0304-3975(84)90029-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bafjzue2zjctvg56nacwmdelnq">fatcat:bafjzue2zjctvg56nacwmdelnq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218040925/https://core.ac.uk/download/pdf/81979562.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/04/a4/04a4b63d524459d9b828c97cfac22202e9916277.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(84)90029-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Towards the Automatic Generation of Petri nets for the OWL-S-based Complex Processes

Dongjin Yu, Zhiqing Liu
<span title="2014-04-30">2014</span> <i title="Science and Engineering Research Support Society"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cjfkr6nrjbcjrhn6a6mvtme4ay" style="color: black;">International Journal of u- and e- Service, Science and Technology</a> </i> &nbsp;
The OWL-S-based composite process can describe the large-grained Web Service which contains complex relations and state transitions.  ...  Based on the nine mapping rules presented in this paper, it translates the input, output and control structure of atomic processes into the corresponding elements in Petri net.  ...  Definition 4 (Petri net) A Petri net can be represented with a triple of   F T P PN , ,  , in which: (1) P represents the finite sets of place element expressed by circle. (2) T represents the finite  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14257/ijunesst.2014.7.2.17">doi:10.14257/ijunesst.2014.7.2.17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bacvhk4chvdrjhywdx4otpzrz4">fatcat:bacvhk4chvdrjhywdx4otpzrz4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180602081900/http://www.sersc.org/journals/IJUNESST/vol7_no2/17.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/2c/cc/2cccf3b2fa059e164602b23e22e8973b02717f35.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14257/ijunesst.2014.7.2.17"> <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>

Finite Unfoldings of Unbounded Petri Nets [chapter]

Jörg Desel, Gabriel Juhás, Christian Neumair
<span title="">2004</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;
This concept combines a known method for the description of unbounded Petri nets, namely coverability trees, with an efficient, partial order based method developed for bounded Petri nets, namely Petri  ...  The aim of this paper is to introduce a concept for an efficient representation of the behavior of an unbounded Petri net.  ...  Consequently, the representation of the behavior of bounded Petri nets by the marking graph, representing all reachable states and their mutual transitions, is too large and inefficient. K. L.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-27793-4_10">doi:10.1007/978-3-540-27793-4_10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/v5h2hf4ufnhlxeqvaatq4ys5ye">fatcat:v5h2hf4ufnhlxeqvaatq4ys5ye</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190307034404/http://pdfs.semanticscholar.org/f2a0/476d8c93a9afcdd082ba2d140470bc2ddcfb.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/f2/a0/f2a0476d8c93a9afcdd082ba2d140470bc2ddcfb.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-540-27793-4_10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

M-timed Petri nets and Markov chains in modelling of computer systems

W. M. Zuberek
<span title="">1986</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yzf74vofvzdnpfvspcdy6wyouu" style="color: black;">Proceedings of the 1986 ACM fourteenth annual conference on Computer science - CSC &#39;86</a> </i> &nbsp;
It is shown that the behavior of enhanced free-choice bounded M-timed Petri nets, i.e., Petri nets with two classes of transitions, immediate and timed ones, and with exponentially distributed firing times  ...  A straightforward application of (enhanced) M-timed Petri nets is modelling and performance evaluation of Markovian queueing systems, and in particular closed-network models of computer systems.  ...  MARKED PETRI NETS A basic Petri net [1, 3, 9] N is a triple N = (P, T, A) where P is a finite, nonempty set of places, T is a finite, nonempty set of transitions, A is a set of directed arcs which connect  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/324634.325210">doi:10.1145/324634.325210</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/acm/Zuberek86.html">dblp:conf/acm/Zuberek86</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t2r5z5zbfvfbjeicenj57maqba">fatcat:t2r5z5zbfvfbjeicenj57maqba</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210716034634/https://research.library.mun.ca/14957/1/CSC-86.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/73/56/735686433e13e69081bbd8d5b44de84785d869fb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/324634.325210"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Characterization of Reachable Attractors Using Petri Net Unfoldings [chapter]

Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon
<span title="">2014</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We illustrate the applicability of the algorithm with Petri net models of cell signalling and regulation networks, Boolean and multi-valued.  ...  The algorithm relies on Petri net unfoldings that can be used to compute a compact representation of the dynamics.  ...  The marking graph is always finite in the case of safe Petri nets.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-12982-2_10">doi:10.1007/978-3-319-12982-2_10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/upv2veygs5eodfl43nwi4jgqai">fatcat:upv2veygs5eodfl43nwi4jgqai</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20161227213457/https://hal.archives-ouvertes.fr/hal-01060450/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/aa/2b/aa2b4fd30a7a5a7820f498b25402daa30e07c241.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-319-12982-2_10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Heuristic Based Decision Support System for Choice of Alternative Routes in the Large-Scale Transportation Transit System on the Base of Petri Net Model

Igor Kabashkin
<span title="">2016</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5i4djr4tgnbobnjegejzpw7nny" style="color: black;">Procedia Engineering</a> </i> &nbsp;
for transformation of heuristic decision-making construction into the Petri Net model and base set of modelling elements for above-mentioned transformation procedure and software tools.  ...  Practical realization of DSS simulation on the base of Petri Net model is proposed. Transport system as complex and safety-critical is one of the main application of various DSS.  ...  Acknowledgements This work was supported by Latvian state research programme project "The Next Generation of Information and Communication Technologies (Next IT)" (2014)(2015)(2016)(2017).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.proeng.2016.01.020">doi:10.1016/j.proeng.2016.01.020</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4mcxpmrn3vcufnhj523zohhtzi">fatcat:4mcxpmrn3vcufnhj523zohhtzi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190304110005/https://core.ac.uk/download/pdf/81208317.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/2e/07/2e0786a6076ac8c83670746248f9ccf0b03d14f2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.proeng.2016.01.020"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

An efficient method for unfolding colored Petri nets

Fei Liu, Monika Heiner, Ming Yang
<span title="">2012</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7n2gtrr2tzevzonkaymviwxhsa" style="color: black;">Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)</a> </i> &nbsp;
Unfolding is an essential problem in reusing existing Petri net simulation and analysis techniques and related tools for colored Petri nets.  ...  This method has been applied to unfold large-scale colored Petri nets, which has proven its efficiency.  ...  , software development and model checking.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/wsc.2012.6465203">doi:10.1109/wsc.2012.6465203</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/wsc/LiuHY12.html">dblp:conf/wsc/LiuHY12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ohqnoj52rffqheduruy7ltjhqu">fatcat:ohqnoj52rffqheduruy7ltjhqu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706072856/http://www-dssz.informatik.tu-cottbus.de/publications/papers/liu_wsc2012.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/b0/c9/b0c91f3c341d74552fd049a5ffd23b490caded1a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/wsc.2012.6465203"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Real-Time Systems Design with PEP [chapter]

Christian Stehno
<span title="">2002</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;
The PEP tool provides an integrated development and verification environment for parallel systems. Beginning with version 2.0 it also offers use of timed systems.  ...  This paper describes a sample session for the design and the verification by partial order based techniques of a simple real-time model for a mutual exclusion algorithm.  ...  The author would like to thank Eike Best, Hans Fleischhack and the anonymous referees for their comments on this work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-46002-0_35">doi:10.1007/3-540-46002-0_35</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s2724p3xvvf2pkr7rzt4x276re">fatcat:s2724p3xvvf2pkr7rzt4x276re</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503081042/https://link.springer.com/content/pdf/10.1007%2F3-540-46002-0_35.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/43/d8/43d8bb8a3e2653710dc3a56e9a0c4070c9fa547b.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-46002-0_35"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Petri Nets

James L. Peterson
<span title="1977-09-01">1977</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/eiea26iqqjcatatlgxdpzt637y" style="color: black;">ACM Computing Surveys</a> </i> &nbsp;
Petri net languages, models of computation related to Petm nets, and some extensions and subclasses of the Petri net model are also bmefly discussed  ...  of the reachability tree and the decidability and complexity of some Petri net problems.  ...  A large amount of research has been done on both the nature and the application of Petri nets, and their use seems to be expanding.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/356698.356702">doi:10.1145/356698.356702</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lwm23atcgzf3blxj2xvfqdvnjm">fatcat:lwm23atcgzf3blxj2xvfqdvnjm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060907180626/http://john.cs.olemiss.edu/~dwilkins/Seminar/S05/PetersonPetri.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/2c/00/2c00e2e06056645518fb30d99a24fd388559674f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/356698.356702"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Petri net methodology for solving healthcare management issues

Abdul Rauf Khushk, Xiaozhong Li, Kei Eguchi, Tong Chen
<span title="">2018</span> <i title="EDP Sciences"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mzzzerkv2zd63fbnrpvy24xm54" style="color: black;">ITM Web of Conferences</a> </i> &nbsp;
Petri net system formal modeling is essential as well as important to track down the records and secure information inside a preformed health organization.  ...  Various approaches of Petri nets can be achieved as system security and information flow in the healthcare recording system inside any medical or health-related business.  ...  Appling to a formal model of Petri Net representing healthcare Record is tuple ∑, , , , , , , , where ∑ is a finite set of non-empty set the type of initialization data value operations and function should  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/itmconf/20181703030">doi:10.1051/itmconf/20181703030</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sih7e6lj7bcsnl4vpnzgk53omq">fatcat:sih7e6lj7bcsnl4vpnzgk53omq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721112320/https://www.itm-conferences.org/articles/itmconf/pdf/2018/02/itmconf_wcsn2018_03030.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/55/ae/55ae51bc0ae78af376fcc136e8ab190057e9eb09.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/itmconf/20181703030"> <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>

Goal-Driven Unfolding of Petri Nets [article]

Thomas Chatain, Loïc Paulevé
<span title="2016-11-04">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We propose an algorithm for computing a finite prefix of the unfolding of a 1-safe Petri net that preserves all minimal configurations reaching this goal.  ...  Unfoldings provide an efficient way to avoid the state-space explosion due to interleavings of concurrent transitions when exploring the runs of a Petri net.  ...  the model reduction procedure as a blackbox, on-going work is currently generalizing the one used in the experimentations to any safe Petri net.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1611.01296v1">arXiv:1611.01296v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/svoensw7nnalbpsrg4u3sq6dbu">fatcat:svoensw7nnalbpsrg4u3sq6dbu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191020104458/https://arxiv.org/pdf/1611.01296v1.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/76/c6/76c6c171b0a5f37746a9f0acd6c4e812a75a3990.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1611.01296v1" 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>

Continuous approximation of PEPA models and Petri nets

Vashti Galpin
<span title="">2010</span> <i title="Inderscience Publishers"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ut5pnlxavvgxnmcboeqvgz7oay" style="color: black;">International Journal of Computer Aided Engineering and Technology</a> </i> &nbsp;
These two approaches are compared and infinite and finite server semantics are considered.  ...  Similarly, timed continuous Petri nets can be used to approximate behaviour via ODEs where there are many servers.  ...  Definition 1 A (timed) continuous Petri net (CPN) is a pair N, m 0 where N = (P, T, P re, P ost, λ) with P the set of places, T the set of transitions with P ∩ T = ∅, and P re : P × T → R + and P ost :  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1504/ijcaet.2010.035389">doi:10.1504/ijcaet.2010.035389</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mpddp6koefemtldaindyvdtrxq">fatcat:mpddp6koefemtldaindyvdtrxq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810230907/http://www.dcs.ed.ac.uk/pepa/ContinuousPEPAandPetriNets.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/3f/e73f2ae4cce6135c40ffbb27c67f4c9f97474ef9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1504/ijcaet.2010.035389"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications [chapter]

Samy Abbes, Albert Benveniste
<span title="">2005</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 study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets.  ...  Unlike in existing variants of stochastic Petri nets, our approach randomizes Mazurkiewicz traces, not firing sequences.  ...  We wish to thank Philippe Darondeau for fruitful discussions and hints.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-31982-5_6">doi:10.1007/978-3-540-31982-5_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/unagsrhhsvegnguefqalshhai4">fatcat:unagsrhhsvegnguefqalshhai4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180728072538/https://link.springer.com/content/pdf/10.1007%2F978-3-540-31982-5_6.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/cb/22/cb22ce4df533cf78f3afc882ebb1fd6b03601451.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-540-31982-5_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Computational Issues in Intelligent Control: Discrete-Event and Hybrid Systems [chapter]

XENOFON D. KOUTSOUKOS, PANOS J. ANTSAKLIS
<span title="">2000</span> <i title="Elsevier"> Soft Computing and Intelligent Systems </i> &nbsp;
Petri net models are used to describe discrete event and hybrid systems. Computational issues of various problems and algorithms concerning the analysis and synthesis of such systems are discussed.  ...  algorithms and approaches.  ...  The partial financial support of the National Science Foundation (ECS95-31485) and the Army Research Office (DAAG55-98-1-0199) is gratefully acknowledged.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/b978-012646490-0/50006-8">doi:10.1016/b978-012646490-0/50006-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tpqu57oywrhwtfcrvohzhr3trq">fatcat:tpqu57oywrhwtfcrvohzhr3trq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705102244/http://www3.nd.edu/%7Eisis/techreports/isis-99-005.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/59/f9/59f91521fdcd95ddf02031ac7b87c9e25aec74d2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/b978-012646490-0/50006-8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Colored Stochastic Petri Nets for Modeling Complex Biological Systems

Fei Liu, Ming Yang
<span title="2013-09-30">2013</span> <i title="Science and Engineering Research Support Society"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rebsgv7gbjechhypg6np633rcu" style="color: black;">International Journal of Hybrid Information Technology</a> </i> &nbsp;
Specifically, this paper describes a type of biochemically-interpreted colored stochastic Petri nets and their extensions and analysis techniques for systems biology and illustrates their applications  ...  Traditional modeling methods like stochastic Petri nets do not easily scale and thus become difficult to tackle this situation.  ...  We would like to thank Professor Monika Heiner, Professor David Gilbert and Professor Wolfgang Marwan for many fruitful discussions, and Mary Ann Blätke, Mostafa Herajy, Christian Rohr, and Martin Schwarick  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14257/ijhit.2013.6.5.02">doi:10.14257/ijhit.2013.6.5.02</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c33owpkya5hvdpj5a7if77hoti">fatcat:c33owpkya5hvdpj5a7if77hoti</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150429212153/http://www.sersc.org/journals/IJHIT/vol6_no5_2013/2.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/65/2b/652b02678084f3710e315f6f38fb44b3339be607.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.14257/ijhit.2013.6.5.02"> <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 14,279 results