Filters








541 Hits in 10.7 sec

PEP — more than a Petri Net tool [chapter]

Bernd Grahlmann, Eike Best
<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;
The PEP system (Programming Environment based on Petri Nets) supports the most important tasks of a good net tool, including HL and LL net editing and comfortable simulation facilities.  ...  The programming component allows the user to design concurrent algorithms in an easy-to-use imperative language, and the PEP system then generates Petri nets from such programs.  ...  Considering a protocol with much more than 1.000.000 states and more than 250.000 states (stubborn set reduced) the calculation of the finite prefix of the branching process was done in less than 1 hour  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-61042-1_58">doi:10.1007/3-540-61042-1_58</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6xleev2hqjebjfv47l6sc4rnhm">fatcat:6xleev2hqjebjfv47l6sc4rnhm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181030091301/https://link.springer.com/content/pdf/10.1007%2F3-540-61042-1_58.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/2a/33/2a3352ed06a6f05b876eef5d361e4b9fd08b65b8.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-61042-1_58"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.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.  ...  Overview of PEP The PEP tool is a Programming Environment based on Petri nets 1 .  ... 
<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>

The reference component of PEP [chapter]

Bernd Grahlmann
<span title="">1997</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 is a Programming Environment based on Petri Nets. Sophisticated programming and verification components are embedded in a user-friendly graphical interface.  ...  Among others the simulation of a parallel program can be triggered through the simulation of a Petri net.  ...  Introduction The PEP 1 tool is a Programming Environment based on Petri Nets [6] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0035381">doi:10.1007/bfb0035381</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dzexy5klprdrpfss253ml45g2i">fatcat:dzexy5klprdrpfss253ml45g2i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170822040251/https://link.springer.com/content/pdf/10.1007%2FBFb0035381.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/9d/f9/9df966d615455fc350222d2103e7544c112cff3e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0035381"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Petri nets tools integration through Eclipse

Adilson Arcoverde, Gabriel Alves, Ricardo Lima
<span title="">2005</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vqftmwhsm5ftdj7wmtawwr7pbi" style="color: black;">Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange - eclipse &#39;05</a> </i> &nbsp;
The lack of a standard file format to represent Petri net limits the reuse of models among Petri net tools.  ...  EZPetri is thus a fertile ground for combining existing Petri net tools and applications into a single environment, offering the Petri net community a new perspective of integration.  ...  We believe that the EZPetri framework offers more than just another tool for the Petri net community. It offers them a perspective of real integration.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1117696.1117715">doi:10.1145/1117696.1117715</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/eclipse/ArcoverdeAL05.html">dblp:conf/eclipse/ArcoverdeAL05</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2sdlepdto5cujnb2lpdwzr7hqy">fatcat:2sdlepdto5cujnb2lpdwzr7hqy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060703034641/http://www.cs.uvic.ca:80/~mstorey/etx2005/papers/19%20Petri%20Nets%20Tools%20Integration%20Through%20Eclipse.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/8e/768eb17f86714385cca017418a5a8a92207ac5d1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1117696.1117715"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Combining finite automata, parallel programs and SDL using Petri nets [chapter]

Bernd Grahlmann
<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;
As a side-effect we describe on-going development of the PEP tool (Programming Environment based on Petri Nets).  ...  As a consequence of our approach we are introducing a hierarchical 'programming with nets' method which is currently implemented in the high-level Petri net editor of the tool.  ...  In contrast to other (even Petri net) tools, the PEP tool has been designed in such a way that Petri nets are the central method into which different kind of systems are translated in order to use Petri  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0054167">doi:10.1007/bfb0054167</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tidtdkh4rndldjjgxrix7no5ey">fatcat:tidtdkh4rndldjjgxrix7no5ey</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170915134030/https://link.springer.com/content/pdf/10.1007%2FBFb0054167.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/14/20/142078a2ebec4e54a25797a48bd1335edfab67b9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/bfb0054167"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The Petri Net Markup Language: Concepts, Technology, and Tools [chapter]

Jonathan Billington, Søren Christensen, Kees van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber
<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;
Due to this flexibility, PNML is a starting point for a standard interchange format for Petri nets.  ...  The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets.  ...  Many people from the Petri net community have contributed to the concepts of PNML during discussions of earlier versions, by making proposals, and by asking questions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-44919-1_31">doi:10.1007/3-540-44919-1_31</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4j6zqgomerahdic6qm3m6g23ma">fatcat:4j6zqgomerahdic6qm3m6g23ma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060902154553/http://www2.informatik.hu-berlin.de:80/top/pnml/download/about/PNML_CTT.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/88/74/88742fd9e19a7132b3e540e19f15f6e4f401750c.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-44919-1_31"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Petri nets with causal time for system verification

C. Bui Thanh, H. Klaudel, F. Pommereau
<span title="">2003</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uy5mv2ncw5eahkdx47hkrglxmm" style="color: black;">Electronical Notes in Theoretical Computer Science</a> </i> &nbsp;
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time.  ...  In order to validate this approach as suitable for automated verification, a case study is provided and the results obtained using a model-checker on high-level Petri nets are compared with those obtained  ...  Such a tool does not need to produce low-level nets and thus it does not generate more than necessary, contrasting with the transformation from high-level nets to low-level ones which may generate, for  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)80521-8">doi:10.1016/s1571-0661(04)80521-8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fczw6kjbv5gtva6rkmx5dgcfnq">fatcat:fczw6kjbv5gtva6rkmx5dgcfnq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170925144313/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/2ac/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTU3MTA2NjEwNDgwNTIxOA%3D%3D.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/b2/ae/b2ae5f92856eb71c4253ab1b7be0c28a460d2f14.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1571-0661(04)80521-8"> <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>

On developing and verifying design abstractions for reliable concurrent programming in Ada

A. Burns, A. J. Wellings, A. M. Koelmans, M. Koutny, A. Romanovsky, A. Yakovlev
<span title="">2001</span> <i title="ACM Press"> Proceedings of the 10th international workshop on Real-time Ada workshop - IRTAW &#39;00 </i> &nbsp;
This paper argues that Petri nets offer a promising, tool-supported, technique for checking the logical correctness of abstractions.  ...  The paper illustrates the effectiveness of this approach by showing the correctness of an Ada implementation of the atomic action protocol using a variety of Petri net tools.  ...  Our research aims at developing a set of design abstractions for reliable concurrent programming in Ada, and at applying Petri nets to model and verify them, using available tools, such as PEP and Design  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/374370.374381">doi:10.1145/374370.374381</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/df2md6sklfdudfeikxo3zl3x4e">fatcat:df2md6sklfdudfeikxo3zl3x4e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140805065459/http://sigada.org/ada_letters/march2001/106-burns_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/c6/58/c6585bf86d5c2e4e66dd3ab77b0ce1b72b185675.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/374370.374381"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

On developing and verifying design abstractions for reliable concurrent programming in Ada

A. Burns, A. J. Wellings, A. M. Koelmans, M. Koutny, A. Romanovsky, A. Yakovlev
<span title="2001-03-01">2001</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4e3exnwkovej5hdp6shucxw3nq" style="color: black;">ACM SIGAda Ada Letters</a> </i> &nbsp;
This paper argues that Petri nets offer a promising, tool-supported, technique for checking the logical correctness of abstractions.  ...  The paper illustrates the effectiveness of this approach by showing the correctness of an Ada implementation of the atomic action protocol using a variety of Petri net tools.  ...  Our research aims at developing a set of design abstractions for reliable concurrent programming in Ada, and at applying Petri nets to model and verify them, using available tools, such as PEP and Design  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/374369.374381">doi:10.1145/374369.374381</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/btow5bnsm5e4jlrpe6omeoyyfq">fatcat:btow5bnsm5e4jlrpe6omeoyyfq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140805065459/http://sigada.org/ada_letters/march2001/106-burns_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/c6/58/c6585bf86d5c2e4e66dd3ab77b0ce1b72b185675.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/374369.374381"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets [chapter]

L. J. Steggles, Richard Banks, Anil Wipat
<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;
The resulting compact Petri net model addresses a number of shortcomings associated with Boolean networks and is particularly suited to analysis using the wide range of Petri net tools.  ...  The resulting compact Petri net model addresses a number of shortcomings associated with Boolean networks and is particularly suited to analysis using the wide range of Petri net tools.  ...  A Petri net is said to be k-bounded if in all reachable markings no place has more than k tokens. A Petri net which is 1-bounded is said to be safe.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11885191_9">doi:10.1007/11885191_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/czqkw54phrb55jiri34xyxxqxe">fatcat:czqkw54phrb55jiri34xyxxqxe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809111149/http://www.cs.ncl.ac.uk/research/pubs/trs/papers/962.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/ed/8a/ed8a42b35482dfd9caf373c16119ee804b62d55a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11885191_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The Model-Checking Kit [chapter]

Claus Schröter, Stefan Schwoon, Javier Esparza
<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;
The Model-Checking Kit [8] is a collection of programs which allow to model finite state systems using a variety of modelling languages, and verify them using a variety of checkers, including deadlock-checkers  ...  B(PN) 2 [3] (Basic Petri Net Programming Notation) is a structured parallel programming language offering features such as loops, blocks, and procedures. It is well-known from the PEP-tool [10] .  ...  This has led to the following selection: • The PEP-tool [10] (Programming Environment based on Petri nets) is a programming and verification environment for parallel programs written in B(PN) 2 or CFA  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/3-540-44919-1_29">doi:10.1007/3-540-44919-1_29</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tq5v4ehsfbbynbsm2a7zfex26e">fatcat:tq5v4ehsfbbynbsm2a7zfex26e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070625081736/http://www.fmi.uni-stuttgart.de/szs/publications/esparza/mckit.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/17/75/1775e7f13c87b783646597b70a59678c8eb03a56.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-44919-1_29"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Case Study in Design and Verification of Manufacturing System Control Software with Hierarchical Petri Nets

M. Heiner, P. Deussen, J. Spranger
<span title="1999-02-24">1999</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;
Petri nets, supporting reuse as well as stepwise validation.  ...  To evaluate the practicability of available methods and tools for at least medium-sized systems, a case study has been performed to develop modularised control software of a production cell with hierarchical  ...  Starke, Bernd Grahlmann, Kimmo Varpaaniemi, and especially Guido Wimmel for their assistance in using their tools.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s001700050051">doi:10.1007/s001700050051</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/a44vof3djng7la3t67fm7idmcy">fatcat:a44vof3djng7la3t67fm7idmcy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20070803170416/http://www-dssz.informatik.tu-cottbus.de/~wwwdssz/publications/papers/1999_heiner_deussen_spranger_journalAMT_productionCell.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/8e/ae/8eae105fbb58cd66074a86271a3ed34a917f67ab.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s001700050051"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach

L. J. Steggles, R. Banks, O. Shaw, A. Wipat
<span title="2006-11-22">2006</span> <i title="Oxford University Press (OUP)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wmo54ba2jnemdingjj4fl3736a" style="color: black;">Bioinformatics</a> </i> &nbsp;
Availability: The Petri net model construction tool and the data files for the B. subtilis sporulation case study are available at http://bioinf.ncl. ac.uk/gnapn  ...  Results: We propose a new technique for constructing and analysing qualitative models of genetic regulatory networks based on the Petri net formalism.  ...  A Petri net is said to be k-bounded if in all reachable markings no place has more than k tokens. A Petri net which is 1-bounded is said to be safe.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/bioinformatics/btl596">doi:10.1093/bioinformatics/btl596</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/17121774">pmid:17121774</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cvjaimegzrdm3aybnydwim3fh4">fatcat:cvjaimegzrdm3aybnydwim3fh4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180730124634/https://watermark.silverchair.com/btl596.pdf?token=AQECAHi208BE49Ooan9kkhW_Ercy7Dm3ZL_9Cf3qfKAc485ysgAAAb0wggG5BgkqhkiG9w0BBwagggGqMIIBpgIBADCCAZ8GCSqGSIb3DQEHATAeBglghkgBZQMEAS4wEQQMtf3k-B6R0rZwCTi9AgEQgIIBcJIqglCpDVlKsYVmiX0JsnK_BI6D9IQWy9IevzpWTcxGdqQClpkRfRgCquRPzbnqjcgxnRMJu60zXT--rfiLce-628c72i3G0Sg8rQzfG7NB5JbRPlhQDw7SJBuk6fyLnp8hykJSSuqYLVHgWB2MXbwTmiFzwvhTaTv4E5s8sdK6KRKFDV_LYti8G3ABYHnAjeykEgpZK6msxgxHPzGs4SnWgFuQWFvmMLeCPrs5YqbIJV0REO-tJurqKmT6TUT8V7AVXCMGzACZfXG-3xGRGl0GczVvjS9jfqk43Rh_hdmH14dtALOjU4Z5v0L_wcGWCdjt-hfc-VR_D-t_Z1uKByFsAPmVPL9_c7gUhCG-Xh6eI-fj61ztg02NPFcInGAaSWyhQymQrecWumNfs_1AuzyVGDnL4U3EveIt-ar6MES3H_lZa-V8LCBQZ3IDWwxWgpbi6Pp2efud8mwE_o6bslSwYi3Lwv6eBV62ZnWOmUhE" 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/81/3b/813ba19fac670b694e7de01ed8609790a7b5c4d8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1093/bioinformatics/btl596"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> oup.com </button> </a>

PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research [chapter]

András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik
<span title="">2016</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;
PetriDotNet is an extensible Petri net editor and analysis tool originally developed to support the education of formal methods.  ...  As a result, industrial application of the tool also emerged in recent years.  ...  Special thanks to Bertalan Szilvási for developing Petri.NET, the initial version of the presented tool.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-39086-4_9">doi:10.1007/978-3-319-39086-4_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mzi43mardvco5ncticudso2x6i">fatcat:mzi43mardvco5ncticudso2x6i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721065819/http://eprints.sztaki.hu/8976/1/Voros_123_3057505_ny.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/e8/54/e8540f0f3d81325142193adcd80ff51784650974.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-39086-4_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

PN Standardisation: A Survey [chapter]

L. Hillah, F. Kordon, L. Petrucci, N. Trèves
<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;
It allows for the translation of any Petri Net, designed by a given tool in a dedicated format, into PNML.  ...  or High-level nets; -to provide a reference implementation that will facilitate the data exchange between different Petri nets tools through a common format.  ...  RELAX-NG is XML schema-like, more flexible and maintenance-friendly for the standard designers than XML schema.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11888116_23">doi:10.1007/11888116_23</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ppdsrvxr4zdlvih3p3tk7hwdgm">fatcat:ppdsrvxr4zdlvih3p3tk7hwdgm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110727182027/http://www.pnml.org/papers/forte06.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/db/67/db67cd28a55f5a41a07225c2151c4c5bef2a6e9f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11888116_23"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 541 results