Filters








2,630 Hits in 4.7 sec

On Petri Nets with Hierarchical Special Arcs [article]

S. Akshay, Supratik Chakraborty, Ankush Das, Vishal Jagannath, Sai Sandeep
<span title="2017-07-04">2017</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We investigate the decidability of termination, reachability, coverability and deadlock-freeness of Petri nets endowed with a hierarchy on places, and with inhibitor arcs, reset arcs and transfer arcs  ...  We also investigate what happens when we have a mix of these special arcs, some of which respect the hierarchy, while others do not.  ...  Depending on the subset of special arcs that are present, we can define sub-classes of Petri nets with hierarchical special arcs as follows.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1707.01157v1">arXiv:1707.01157v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t7o3whcv4ndw5bn7dyb3oekd6m">fatcat:t7o3whcv4ndw5bn7dyb3oekd6m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191014125131/https://arxiv.org/pdf/1707.01157v1.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/9a/61/9a61d072bf68b7769897066073aee7ba1974e222.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1707.01157v1" 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>

Page 180 of American Society of Civil Engineers. Collected Journals Vol. 13, Issue 3 [page]

<span title="">1999</span> <i title="American Society of Civil Engineers"> <a target="_blank" rel="noopener" href="https://archive.org/details/pub_american-society-of-civil-engineers-collected-journals" style="color: black;">American Society of Civil Engineers. Collected Journals </a> </i> &nbsp;
An inhibitor arc has a multiplicity n associated with it (where n is the capacity of the buffer). A class of petri nets with inhibitor arcs is referred to as extended petri nets (Murata 1989).  ...  The hierarchical breakdown of a complex process is accomplished with the help of a hierar- chical transition that is a special type of transition (Design/ CPN 1993; Moore and Brennan 1996).  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_american-society-of-civil-engineers-collected-journals_1999-07_13_3/page/180" 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_american-society-of-civil-engineers-collected-journals_1999-07_13_3/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Petri net based simulation of construction schedules

Anil Sawhney
<span title="">1997</span> <i title="ACM Press"> Proceedings of the 29th conference on Winter simulation - WSC &#39;97 </i> &nbsp;
In this paper a description of a hybrid scheduling technique that utilizes Petri Nets is provided.  ...  Petri Nets are graphical and mathematical modeling tools that can be used to perform static and dynamic analysis of systems.  ...  Similarly in level 2 Petri Net the hierarchical transition "B3" represents a lower level Petri Net.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/268437.268747">doi:10.1145/268437.268747</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rh7aizgvpzac7mzydqjrb3yryq">fatcat:rh7aizgvpzac7mzydqjrb3yryq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20010922102728/http://www.informs-cs.org:80/wsc97papers/1111.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/99/cc/99ccaad44ac470300f2804060984ffc86f5f9cb0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/268437.268747"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Hierarchical Decomposition of Petri Nets for Digital Microsystems Design

Andrei Karatkevich, Grzegorz Andrzejewski
<span title="">2006</span> <i title="IEEE"> 2006 International Conference - Modern Problems of Radio Engineering, Telecommunications, and Computer Science </i> &nbsp;
The paper is dedicated to hierarchical Petri nets with application to design of control devices. It consists of two parts.  ...  The second part presents an approach to specification of a digital control system behavior by means of hierarchical Petri nets.  ...  Below we describe a method that allows transforming a flat safe Petri net into a hierarchical one.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tcset.2006.4404613">doi:10.1109/tcset.2006.4404613</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qw4n4cbyinchjj6gce6aarps2i">fatcat:qw4n4cbyinchjj6gce6aarps2i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321050420/http://www.computingonline.net/computing/article/download/376/346" 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/a5/fa/a5fa460ea6d017f8fad6ee4fb8a7373fb01feb2f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tcset.2006.4404613"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Snoopy: a tool to design and animate/simulate graph-based formalisms

Monika Heiner, Ronny Richter, Martin Schwarick
<span title="">2008</span> <i title="ICST"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nrbworkluzcgxdrzqh6o5kqpim" style="color: black;">Proceedings of the First International ICST Conference on Simulation Tools and Techniques for Communications Networks and Systems</a> </i> &nbsp;
There are several Petri net classes available, among them the purely qualitative place/transition nets in its standard definition and in a version enhanced by four special arcs as well as two quantitative  ...  extensions of it -stochastic Petri nets and continuous Petri nets.  ...  Extended Petri Net This graph class enhances classical place/transition Petri nets by four special arc types: read arcs, reset arcs, equal arcs and inhibitor arcs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4108/icst.simutools2008.3098">doi:10.4108/icst.simutools2008.3098</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/simutools/HeinerRS08.html">dblp:conf/simutools/HeinerRS08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vjgnouphyza5zanvghton5gesq">fatcat:vjgnouphyza5zanvghton5gesq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706072835/http://www-dssz.informatik.tu-cottbus.de/publications/papers/Heiner-2008-pntap-marseille-snoopy.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/ec/c5/ecc5c87ca4c73d09443160f175f5570a2a0fc54c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4108/icst.simutools2008.3098"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets

Yojiro Harie, Katsumi Wasaki
<span title="">2017</span> <i title="SCITEPRESS - Science and Technology Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ivumcmc5s5c5pcgwxrjioy7kmi" style="color: black;">Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications</a> </i> &nbsp;
This paper introduces the Hierarchical Petri net Simulator (HiPS), a Petri net design tool implemented using C# and C++, the .NET Framework, and an interprocess communication channel.  ...  HiPS supports hierarchical modeling and can analyze the dynamic and structural properties of a Petri net by generating state spaces.  ...  Petri net design can be performed intuitively to connect components on the main screen, such as transitions, places, and arcs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0006463803560361">doi:10.5220/0006463803560361</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/simultech/HarieW17.html">dblp:conf/simultech/HarieW17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4kyk4eytvnaj7f5yhu35fjfnne">fatcat:4kyk4eytvnaj7f5yhu35fjfnne</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190217164459/http://pdfs.semanticscholar.org/065b/496f44f8d1fe5f099dac28a60af6ae4c060c.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/5b/065b496f44f8d1fe5f099dac28a60af6ae4c060c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0006463803560361"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Implementation of Hierarchical and Distributed Control for Discrete Event Robotic Manufacturing Systems

Gen'ichi Yasuda
<span title="">2010</span> <i title="Scientific Research Publishing, Inc,"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/siea63ugazhotdhlrexmuoemia" style="color: black;">Journal of Software Engineering and Applications</a> </i> &nbsp;
In this paper, a methodology is presented using Petri nets for hierarchical and distributed control.  ...  The large scale and complex manufacturing systems have a hierarchical structure where a system is composed several lines with some stations and each station also have several machines and so on.  ...  The extended Petri net consists of the following six elements: 1) Place; 2) Transition; 3) Directed arc; 4) Token; 5) Gate arc; 6) Output signal arc.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4236/jsea.2010.35049">doi:10.4236/jsea.2010.35049</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pqjuox3tnvavnplcs3zi3oe4se">fatcat:pqjuox3tnvavnplcs3zi3oe4se</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20141013030356/http://www.scirp.org/journal/PaperDownload.aspx?paperID=1747" 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/5a/e75aed583e01bcdd69de04b480006fef274561d8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4236/jsea.2010.35049"> <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>

Page 7285 of Mathematical Reviews Vol. , Issue 2004i [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;
Summary: “Nested Petri nets (NP-nets) provide a formalism for modeling hierarchical multi-agent systems. Tokens in nested Petri nets are elements represented by nets themselves.  ...  Summary: “We consider transition systems of elementary net sys- tems with inhibitor arcs.  ... 
<span class="external-identifiers"> </span>
<a target="_blank" rel="noopener" href="https://archive.org/details/sim_mathematical-reviews_2004-09_2004i/page/7285" 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-09_2004i/__ia_thumb.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a>

Electronic System Design Automation Using High Level Petri Nets [chapter]

Patrik Rokyta, Wolfgang Fengler, Thorsten Hummel
<span title="">2000</span> <i title="Springer US"> Hardware Design and Petri Nets </i> &nbsp;
A design and implementation methodology for system specification, modelling and implementation using a special kind of high level Petri nets is described.  ...  For the design of large systems with regular structures using of coloured Petri nets will improve the handling and flexibility. Two design examples illustrate the described methodology.  ...  Setting arcs cause the place to obtain a certain amount of tokens, which is defined on this arc.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4757-3143-9_10">doi:10.1007/978-1-4757-3143-9_10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/shphzfletrce7jghxoful2tmly">fatcat:shphzfletrce7jghxoful2tmly</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812060946/http://www.theoinf.tu-ilmenau.de/ra1/ver/esdahwpn.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/62/5b/625b9266aac3d80ca43e89a4f0f50fafbc6f9034.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-4757-3143-9_10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Coloured Petri nets for multilevel, multiscale and multidimensional modelling of biological systems

Fei Liu, Monika Heiner, David Gilbert
<span title="2017-11-03">2017</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/op7ztx4fhvairowgqifu7dnvsi" style="color: black;">Briefings in Bioinformatics</a> </i> &nbsp;
Coloured Petri nets (ColPNs) have been successfully applied to multilevel, multiscale and multidimensional modelling of some biological systems, addressing many of these challenges.  ...  Owing to the availability of data of one biological phenomenon at different levels/scales, modelling of biological systems is moving from single level/scale to multiple levels/scales, which introduces  ...  Acknowledgements The authors would like to thank Mostafa Herajy, Christian Rohr and Martin Schwarick for their assistance in the related research on ColPNs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/bib/bbx150">doi:10.1093/bib/bbx150</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/29112705">pmid:29112705</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sdv7bk2j3vbapibr5tbnuvdlm4">fatcat:sdv7bk2j3vbapibr5tbnuvdlm4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190305031109/http://pdfs.semanticscholar.org/ce4b/3ac8a4787f6a5249197a203d673416e1281c.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/ce/4b/ce4b3ac8a4787f6a5249197a203d673416e1281c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/bib/bbx150"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

A new object-oriented Petri net simulation environment based on Modelica

Sabrina Pros, Bernhard Bachmann, Sebastian Jan Janowski, Ralf Hofestadt
<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;
We present a new Petri net simulation environment to enable graphical hierarchical modeling, hybrid simulation, and animation of processes in life sciences, and technical applications, among others.  ...  This specification is used for the Petri Net library (PNlib) realized by the object-oriented modeling language Modelica.  ...  The Petri nets on the one hand and the Modelica language on the other enable hierarchical modeling concepts by wrapping the basic Petri net components to sub-models.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/wsc.2012.6465287">doi:10.1109/wsc.2012.6465287</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/wsc/ProssBJH12.html">dblp:conf/wsc/ProssBJH12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4oqqutxxvbaghpz66hbkh6i2zy">fatcat:4oqqutxxvbaghpz66hbkh6i2zy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150316132120/http://informs-sim.org/wsc12papers/includes/files/inv235.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/fc/43fcd04f1913d8c7da88c044e42b35fda0c67eec.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.6465287"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Petri Nets in Snoopy: A Unifying Framework for the Graphical Display, Computational Modelling, and Simulation of Bacterial Regulatory Networks [chapter]

Wolfgang Marwan, Christian Rohr, Monika Heiner
<span title="2011-10-28">2011</span> <i title="Springer New York"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6v4flwr6afbfrmhdyu6xe3dyvm" style="color: black;">Msphere</a> </i> &nbsp;
Using the example of phosphate regulation in enteric bacteria, we demonstrate the particular suitability of stochastic Petri nets to model biochemical phenomena and their simulative exploration by various  ...  Extended Stochastic Petri nets (xSPN) Extended stochastic Petri nets combine stochastic Petri nets with the special arc types of extended Petri nets.  ...  Extended Petri nets (xPN) Extended Petri nets build on Petri nets and additionally provide special arc types, which go always from a place to a transition, see Figure 1 and 6.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-61779-361-5_21">doi:10.1007/978-1-61779-361-5_21</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/22144165">pmid:22144165</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ltlv3x6iijhsfo3xrevqof75mu">fatcat:ltlv3x6iijhsfo3xrevqof75mu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808111013/http://people.brunel.ac.uk/~csstdrg/courses/MAPKsigtrans/models/snoopy%20documentation/2012_bookchapter_intro_snoopy.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/e0/06e0abf397d81b0f61fe4c88e6ffa04637c9d1d1.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-61779-361-5_21"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A fuzzy Petri net-based expert system and its application to damage assessment of bridges

J. Lee, K.F.R. Liu, Weiling Chiang
<span title="">1999</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vtq6nmuchnak5n57l33lid22rq" style="color: black;">IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)</a> </i> &nbsp;
bases into hierarchical fuzzy Petri nets.  ...  Major features of FPNES include knowledge representation through the use of hierarchical fuzzy Petri nets, a reasoning mechanism based on fuzzy Petri nets, and transformation of modularized fuzzy rule  ...  Lin for his early work on this project.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/3477.764869">doi:10.1109/3477.764869</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/18252319">pmid:18252319</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6xtczl6tmrbqbhjsso7iztmhla">fatcat:6xtczl6tmrbqbhjsso7iztmhla</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809045715/http://www.csie.ntu.edu.tw/~jlee/publication/IEEE%20TSMC99-fpn.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/84/d6/84d6b85fcf7e47665ef8b953f6a9a139f7c578a9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/3477.764869"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A formal definition of hierarchical predicate transition nets [chapter]

Xudong He
<span title="">1996</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;
They extend predicate transition nets with hierarchical structures so that large systems can be specified and understood stepwisely, and thus are more suitable for real-world applications.  ...  In this paper, we provide a formal syntax and an algebraic semantics for hierarchical predicate transition nets, which establish the theory of hierarchical predicate transition nets for precise specification  ...  Based on the definition of hierarchical Petri nets, a new definition for hierarchical Petri nets with building blocks was given, which supported the reuse of existing subnets.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-61363-3_12">doi:10.1007/3-540-61363-3_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ktqrpvwv5vcbjo4u46zhhqlaky">fatcat:ktqrpvwv5vcbjo4u46zhhqlaky</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190302125325/http://pdfs.semanticscholar.org/9c60/11a355870cbb22c47b830f2fb9f512b98693.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/60/9c6011a355870cbb22c47b830f2fb9f512b98693.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-61363-3_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Implementation of fuzzy system using hierarchical Colored Petri Nets to model flexible manufacturing cell

S K Saren, F Blaga, T Vesselenyi
<span title="2018-09-18">2018</span> <i title="IOP Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ze5oxgkzabgozpk5uwjjucu7sa" style="color: black;">IOP Conference Series: Materials Science and Engineering</a> </i> &nbsp;
The fuzzy rule based model is constructed using Hierarchical Colored Petri Nets which is suitable to define each section as a sub model.  ...  Also, we compare the simulation results from Hierarchical Fuzzy Colored Petri Nets and Matlab fuzzy rule based design for flexible cell.  ...  Petri Nets the reuse, inheritance and specialization of the models [8] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1088/1757-899x/400/4/042050">doi:10.1088/1757-899x/400/4/042050</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/q2zkz47cuvcurjd4muwdju2abe">fatcat:q2zkz47cuvcurjd4muwdju2abe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501160258/https://iopscience.iop.org/article/10.1088/1757-899X/400/4/042050/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/df/f9/dff95f0e40d16172b54129a17154f6611c558f69.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1088/1757-899x/400/4/042050"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> iop.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 2,630 results