Filters








10,152 Hits in 10.4 sec

Concurrent Architecture for a Multi-agent Platform [chapter]

Michael Duvigneau, Daniel Moldt, Heiko Rölke
<span title="">2003</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;
With Renew (REference NEt Workshop), there exists a tool to model and execute reference nets with seamless Java integration.  ...  A multi-agent system has a high degree of concurrency. Petri nets are a well-established means for the description of concurrent systems. Reference nets are higher level, object-oriented Petri nets.  ...  Petri nets provide a graphical-intuitive model with formal and precise semantics to handle concurrency and synchronisation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-36540-0_5">doi:10.1007/3-540-36540-0_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2lzfvwyewna6fecwi3edlgueje">fatcat:2lzfvwyewna6fecwi3edlgueje</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160825114304/http://www.informatik.uni-hamburg.de/TGI/publikationen/public/data/2003/Duvigneau+03a/Duvigneau+03a.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/0f/1f/0f1f8a597b7123e8f55d74b46e227cd50dcf5c86.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-36540-0_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Applying Multi-agent Concepts to Dynamic Plug-In Architectures [chapter]

Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke
<span title="">2006</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;
By transferring the concepts of agentorientation to a plug-in-based architecture we are able to design our application and the plug-in-based system on an abstract level.  ...  Moreover, general problems that evolve from a highly dynamic and configurable architecture have been solved by basing the conceptual design on multi-agent principles.  ...  Conclusion Mulan is an expressive modeling framework, based on the reference net formalism, that is capable of modeling dynamic system architectures.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11752660_15">doi:10.1007/11752660_15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/upr2ywklvjchnd42z47tt53qwe">fatcat:upr2ywklvjchnd42z47tt53qwe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160826075122/http://www.informatik.uni-hamburg.de/TGI/publikationen/public/data/2006/Cabac+06/Cabac+06.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/ac/16/ac165a5f27f9c487ce77498bb3ab424257afb7be.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11752660_15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A multi-formalism modeling composability framework: agent and discrete-event models

Hessam Sarjoughian, Dongping Huang
<span title="">2005</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wo4sa2kmzra55hsjq5dgepkasi" style="color: black;">Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications</a> </i> &nbsp;
The approach offers separation of concerns between model specifications and execution protocols across multiple modeling formalisms.  ...  In this paper we present a new kind of Multi-Formalism Modeling Composability Framework which introduces the concept of Knowledge Interchange Broker for composing disparate modeling formalisms.  ...  Related to synchronization is concurrency of messages. The parallel DEVS formalism supports concurrent execution of model components and multiple input and output events.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/distra.2005.4">doi:10.1109/distra.2005.4</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/dsrt/SarjoughianH05.html">dblp:conf/dsrt/SarjoughianH05</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mri7nlnsr5hopa7nr3xeen5o4m">fatcat:mri7nlnsr5hopa7nr3xeen5o4m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808161600/http://acims.asu.edu/wp-content/uploads/2012/02/A-Multi-Formalism-Modeling-Composability-Framework-Agent-and-Discrete-Event-Models.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/08/fb/08fb9f263b3bfdff63208bd8e2abcafe62b5767a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/distra.2005.4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

An Extensible Editor and Simulation Engine for Petri Nets: Renew [chapter]

Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, Rüdiger Valk
<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;
Now new features allow for plug-ins on the level of concepts (net formalisms) and on the level of applications (e.g. workflow or agents).  ...  Renew is a computer tool that supports the development and execution of object-oriented Petri nets, which include net instances, synchronous channels, and seamless Java integration for easy modelling.  ...  Renew [13] is a Java-based high-level Petri net simulator that provides a flexible modelling approach based on reference nets.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-27793-4_29">doi:10.1007/978-3-540-27793-4_29</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kax7uqj2wvbx5azxmmi52lcjjq">fatcat:kax7uqj2wvbx5azxmmi52lcjjq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110526231555/http://www.informatik.uni-hamburg.de/TGI/publikationen/public/data/2004/Kummer+04b/Kummer+04b.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/ee/03/ee03a3e18bad457c208cdc4e094be4e10b9f24d5.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_29"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Multi-core parallel simulation of System-level Description Languages

Rainer Domer, Weiwei Chen, Xu Han, Andreas Gerstlauer
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fkjmyf3l45eo5ovjdnpeqpdjd4" style="color: black;">16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011)</a> </i> &nbsp;
The validation of transaction level models described in System-level Description Languages (SLDLs) often relies on extensive simulation.  ...  In this work, we study the SLDL execution semantics of concurrent threads and present a multi-core parallel simulation approach which automatically protects communication between concurrent threads so  ...  We have specified a H.264 decoder model based on the H.264/AVC JM reference software [13] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/aspdac.2011.5722205">doi:10.1109/aspdac.2011.5722205</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/aspdac/DomerCHG11.html">dblp:conf/aspdac/DomerCHG11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uznpgycv35haxmdozd2bt25tom">fatcat:uznpgycv35haxmdozd2bt25tom</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706114649/http://www.cecs.uci.edu/~doemer/publications/ASPDAC_11.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/e0/15/e01560d765939900526d3dba23d6103d04210fc1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/aspdac.2011.5722205"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Proposal for Petri Net Based Web Service Application Modeling [chapter]

Daniel Moldt, Sven Offermann, Jan Ortmann
<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;
We propose a modeling technique based on high-level Petri nets, called reference nets. They naturally allow for the modeling of processes.  ...  Finally we introduce a tool set based on Renew, a tool for reference nets, to support these modeling approach.  ...  Renew is a Petri net simulator implemented in Java which allows for the construction and the execution of reference nets.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-27834-4_12">doi:10.1007/978-3-540-27834-4_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w2crpg4js5bddlzmcr6if7nd6e">fatcat:w2crpg4js5bddlzmcr6if7nd6e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180727105919/https://link.springer.com/content/pdf/10.1007%2F978-3-540-27834-4_12.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/7c/82/7c82b8ba8b9f15466e50bded02a2b323c83b5d48.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-27834-4_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System [chapter]

Filipe Moutinho, Luís Gomes, Paulo Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">IFIP Advances in Information and Communication Technology</a> </i> &nbsp;
The distributed system is specified by non-autonomous Petri net modules, obtained after the partition of a (global) Petri net model.  ...  This paper shows a methodology for Globally-Asynchronous-Locally-Synchronous (GALS) systems specification and verification.  ...  The firing of the transitions in one IOPT net (net evolution in one component) is done synchronously at specific instants in time (the synchronized paradigm), normally referred as tics or global clock;  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-19170-1_26">doi:10.1007/978-3-642-19170-1_26</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rt36lfoqqrfqbcfikfe5blz6hi">fatcat:rt36lfoqqrfqbcfikfe5blz6hi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180725111244/https://link.springer.com/content/pdf/10.1007%2F978-3-642-19170-1_26.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/7a/af7a51082fb66e168bbf77a0b9139ea7807107de.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-19170-1_26"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Mimca: A Modelling And Simulation Approach In Support Of The Design And Construction Of Manufacturing Control Systems Using Modular Petri Net

S. Ariffin, K. Hasnan, R.H. Weston
<span title="2008-09-20">2008</span> <i title="Zenodo"> Zenodo </i> &nbsp;
The MIMCA supports simulation based on machine modeling, was conceived by the authors to address the issues.  ...  Essentially MIMCA comprises an organized unification of selected architectural frameworks and modeling methods, which include: NISTRCS, UMC and Colored Timed Petri nets (CTPN).  ...  Fig. 2 , this essentially being based on the reference model proposed by Albus [1] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.1054993">doi:10.5281/zenodo.1054993</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pgvdv6yisvdolpvs6lpa54iele">fatcat:pgvdv6yisvdolpvs6lpa54iele</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200217123349/https://zenodo.org/record/1054994/files/1329.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/2a/2e2abe167a58726b01e346517d91f4094c4a26a8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5281/zenodo.1054993"> <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>

Programming languages and systems for prototyping concurrent applications

Wilhelm Hasselbring
<span title="2000-03-01">2000</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;
Concurrent programming is conceptually harder to undertake and to understand than sequential programming, because a programmer has to manage the coexistence and coordination of multiple concurrent activities  ...  This paper presents a survey of programming languages and systems for prototyping concurrent applications to review the state of the art in this area.  ...  Hasselbring ACKNOWLEDGMENTS The comments on drafts of this paper by the anonymous referees were a valuable source to improve the paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/349194.349199">doi:10.1145/349194.349199</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gbvxlispuvckvbqc7p4f5lecqu">fatcat:gbvxlispuvckvbqc7p4f5lecqu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20030909090316/http://se.informatik.uni-oldenburg.de:80/publications/PDF/ACMCS2000.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/2d/91/2d910052ac2b7a2f2f3b6da1e2f7f0a51ba842bc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/349194.349199"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

CSP as a Coordination Language [chapter]

Moritz Kleine
<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;
Their approach is based on the model checker Vereofy which supports multiple input languages capable of modeling concurrent systems.  ...  Reference Nets [9] provide an object-oriented High-Level Petri Net formalism where instances of Petri Nets carry references to other instances of Petri Nets instead of tokens.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-21464-6_5">doi:10.1007/978-3-642-21464-6_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pakttjm4kjhprmdifmx346bada">fatcat:pakttjm4kjhprmdifmx346bada</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724063352/https://hal.inria.fr/hal-01582993/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/e0/5c/e05cb6552125ea4cbc25e90576ef1fb47b5f9836.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-21464-6_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Browsing parallel process networks

P. David Stotts, Richard Furuta
<span title="">1990</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rwjg7tprafhufajayuvxj2q4n4" style="color: black;">Journal of Parallel and Distributed Computing</a> </i> &nbsp;
The Trellis model employs the dual nature of Petri nets to formally express in one structure both the linked information elements of a hypertext and the reader/document i n teractions during browsing.  ...  The advantages of using Trellis for browsing CSP programs stem from Petri nets being a natural concurrency model.  ...  An advantage of using Trellis over other hypertext systems is that the Trellis formalism is based on the Petri net, a natural concurrency model.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-7315(90)90048-t">doi:10.1016/0743-7315(90)90048-t</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tv2zocfxcvc6hjyb3gxm5v5xxm">fatcat:tv2zocfxcvc6hjyb3gxm5v5xxm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100617161139/http://rockfish-cs.cs.unc.edu/pubs/jpdc90.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/c5/c5/c5c581a5e102d98eb7a54f2d79cb9ef943c118d2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0743-7315(90)90048-t"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Specific proposals for the use of petri nets in a concurrent programming course

João Paulo Barros
<span title="">2002</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/is7dqxt4svgqxkkuzl2iw6vkvq" style="color: black;">Proceedings of the 7th annual conference on Innovation and technology in computer science education - ITiCSE&#39;02</a> </i> &nbsp;
Concurrency is a difficult subject to teach and learn.  ...  This paper presents a set of recipes for the use of Petri nets as a teaching aid of some fundamental concurrency concepts, in the context of an introductory concurrent programming course.  ...  ACKNOWLEDGEMENTS The author thanks Luis Gomes, from Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa, and the three anonymous reviewers for their valuable comments on this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/544414.544463">doi:10.1145/544414.544463</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/iticse/Barros02.html">dblp:conf/iticse/Barros02</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5i3c54xugvaqjf2fkaju4dkgea">fatcat:5i3c54xugvaqjf2fkaju4dkgea</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706072149/http://www.dca.ufrn.br/~affonso/DCA0409/pdf/artigo_petrinet1.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/7f/2d/7f2d7e3366514f45e27c1ac56063dc633c72ae5a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/544414.544463"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Specific proposals for the use of petri nets in a concurrent programming course

João Paulo Barros
<span title="">2002</span> <i title="ACM Press"> Proceedings of the 7th annual conference on Innovation and technology in computer science education - ITiCSE&#39;02 </i> &nbsp;
Concurrency is a difficult subject to teach and learn.  ...  This paper presents a set of recipes for the use of Petri nets as a teaching aid of some fundamental concurrency concepts, in the context of an introductory concurrent programming course.  ...  ACKNOWLEDGEMENTS The author thanks Luis Gomes, from Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa, and the three anonymous reviewers for their valuable comments on this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/544460.544463">doi:10.1145/544460.544463</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/putc6iwelbhjpfw5frekb4k7ui">fatcat:putc6iwelbhjpfw5frekb4k7ui</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706072149/http://www.dca.ufrn.br/~affonso/DCA0409/pdf/artigo_petrinet1.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/7f/2d/7f2d7e3366514f45e27c1ac56063dc633c72ae5a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/544460.544463"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Specific proposals for the use of petri nets in a concurrent programming course

João Paulo Barros
<span title="2002-09-01">2002</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzoq6upx4ndyrd7qaolzbaeuca" style="color: black;">ACM SIGCSE Bulletin</a> </i> &nbsp;
Concurrency is a difficult subject to teach and learn.  ...  This paper presents a set of recipes for the use of Petri nets as a teaching aid of some fundamental concurrency concepts, in the context of an introductory concurrent programming course.  ...  ACKNOWLEDGEMENTS The author thanks Luis Gomes, from Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa, and the three anonymous reviewers for their valuable comments on this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/637610.544463">doi:10.1145/637610.544463</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/r2kyq6r3fzdm7m76bmdz6wwor4">fatcat:r2kyq6r3fzdm7m76bmdz6wwor4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706072149/http://www.dca.ufrn.br/~affonso/DCA0409/pdf/artigo_petrinet1.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/7f/2d/7f2d7e3366514f45e27c1ac56063dc633c72ae5a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/637610.544463"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Heap Models, Composition and Control [chapter]

Jan Komenda, Sebastien Lahaye, Jean-Louis Boimo
<span title="2008-10-01">2008</span> <i title="InTech"> New Developments in Robotics Automation and Control </i> &nbsp;
Although heap models similarly as Petri nets already support the concurrency phenomenon, it is useful for control purposes to introduce explicit concurrency by defining synchronous product of heap models  ...  here by synchronous product) is based on a feedback control architecture.  ...  It consists of 25 chapter that introduce both basic research and advanced developments covering the topics such as kinematics, dynamic analysis, accuracy, optimization design, modelling , simulation and  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/6271">doi:10.5772/6271</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/p3ofkdnv3nhchexxqurd26qho4">fatcat:p3ofkdnv3nhchexxqurd26qho4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501141228/https://cdn.intechopen.com/pdfs/5753.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/22/c7/22c78274480d1d5e1e9a9a59dd4a4efa6fbf7bd9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/6271"> <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 10,152 results