Filters








12 Hits in 4.6 sec

Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation [chapter]

Olivier H. Roux, Didier Lime
<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;
In this paper, we define Time Petri Nets with Inhibitor Hyperarcs (IHTPN) as an extension of T-time Petri nets where time is associated with transitions.  ...  We give a formal semantics for IHTPNs in terms of Timed Transition Systems and we position IHTPNs with regard to other classes of Petri nets in terms of timed language acceptance.  ...  We will first discuss timed extensions of Petri nets and then the concept of branch inhibitor hyperarc.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-27793-4_21">doi:10.1007/978-3-540-27793-4_21</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mkujicpfkbbxzf5btzcs7ubg5a">fatcat:mkujicpfkbbxzf5btzcs7ubg5a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190308123120/http://pdfs.semanticscholar.org/f2b4/5e966968925f93a705a185eb0d579a86563f.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/b4/f2b45e966968925f93a705a185eb0d579a86563f.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_21"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Controller Synthesis of Time Petri Nets Using Stopwatch

Parisa Heidari, Hanifa Boucheneb
<span title="">2013</span> <i title="Hindawi Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xy6uapiqezgo5bgy2nhun7uo4y" style="color: black;">Journal of Engineering</a> </i> &nbsp;
Therefore, complicated computations and overapproximations required during controller synthesis of time Petri nets associated with stopwatch are avoided.  ...  This paper deals with time Petri nets with controllable and uncontrollable transitions and assumes that a controllable transition can be suspended and retrieved when necessary.  ...  Figure 9 :Figure 10 : 910 Time Petri net of Figure 1, controlled by inhibitor hyperarcs ( = { 1 }). A simple time Petri net ( = { 1 }).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2013/970487">doi:10.1155/2013/970487</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vjlbozcozfgsln7p54t3nvdqgu">fatcat:vjlbozcozfgsln7p54t3nvdqgu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190430130801/https://publications.polymtl.ca/3635/1/2013_Heidari_Controller_Synthesis_Time_Petri_Nets_ensemble.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/4b/88/4b883558e41dbd6118d014409795537231a1decb.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1155/2013/970487"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> hindawi.com </button> </a>

Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper) [chapter]

Morgan Magnin, Didier Lime, Olivier Roux
<span title="">2008</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;
In this paper, we address the class of bounded Petri nets with stopwatches (SwPNs), which is an extension of T-time Petri nets (TPNs) where time is associated with transitions.  ...  This is basically done by computing the state space of discrete-time nets as the discretization of the state space of the corresponding dense-time model.  ...  Formal definitions and semantics of In [5] , the authors extend inhibitor arcs with the notion of hyperarc.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-68746-7_21">doi:10.1007/978-3-540-68746-7_21</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ohs7gq2oorhjrkgw2x2d4zmby4">fatcat:ohs7gq2oorhjrkgw2x2d4zmby4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706080647/http://www.irccyn.ec-nantes.fr/%7Eolivier/fichiers/conf/mlr-icatpn-2008.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/03/90/0390dcd2fc86766d8118f8d0339ee737f215eab9.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-68746-7_21"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Toward Specifying Multimedia Requirements Using a New Time Petri Net Model

Abdelkrim Abdelli, Nadjib Badache
<span title="">2007</span> <i title="Faculty of Electrical Engineering and Computing, Univ. of Zagreb"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/3darrl4gkvd37b2mcvvdirj7p4" style="color: black;">Journal of Computing and Information Technology</a> </i> &nbsp;
In this paper, we define a model dedicated to the specification of multimedia applications called Preemptive Time Petri Nets with synchronizing transitions (STPTPN) as an extension of T-time Petri nets  ...  Moreover, two additional mechanisms are considered: A time suspension mechanism that uses inhibitor arcs associated with stopwatches and synchronization mechanisms that allow the simultaneous firing of  ...  Section 4 presents the syntax and the formal semantics of our proposed model, called STPTPN (Synchronized Transitions Preemptive Time Petri Net).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2498/cit.1000791">doi:10.2498/cit.1000791</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rrl2hg4vircw5ibmw5gb76e4gu">fatcat:rrl2hg4vircw5ibmw5gb76e4gu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180722163806/https://hrcak.srce.hr/file/69244" 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/1c/b2/1cb222de62bd420d18480eb7e092be9500640221.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2498/cit.1000791"> <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>

How Might Petri Nets Enhance Your Systems Biology Toolkit [chapter]

Monika Heiner, David Gilbert
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We discuss the extent to which the Petri net approach can be used as an umbrella formalism to support the process of BioModel Engineering.  ...  How might Petri nets enhance my Systems Biology toolkit?" -this is one of the questions that we get on a regular basis, which motivated us to write an answer in the form of this paper.  ...  The standard semantics for these qualitative Petri Nets (PN) 1 do not associate a time with transitions or the sojourn of tokens at places, and thus these descriptions are time-free.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-21834-7_2">doi:10.1007/978-3-642-21834-7_2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jhckua5qhvc3xohjwrrfqswxpq">fatcat:jhckua5qhvc3xohjwrrfqswxpq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20121114205952/http://people.brunel.ac.uk/~csstdrg/publications/conferences/icatpn2011.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/cc/eccc5f1782586898b29c7d2ad9453d6dcd666eeb.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-21834-7_2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

POST AND PRE-INITIALIZED STOPWATCH PETRI NETS

Adib Allahham, Hassane Alla
<span title="">2007</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/p3wtlm3j2fedxitkuu4bs3scau" style="color: black;">IFAC Proceedings Volumes</a> </i> &nbsp;
We give the formal semantics of SWPN as a timed transition system. We propose also a method for its analysis consisting in the computation of its equivalent stopwatch automaton SWA.  ...  A modeling paradigm called Post and Pre-initialized Stopwatch Petri Nets (SWPN ) is introduced.  ...  defined Time Petri Nets with Inhibitor Hyperarcs as an extension of T-TPN.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3182/20070613-3-fr-4909.00038">doi:10.3182/20070613-3-fr-4909.00038</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dfuggq4tp5fg3nreqheiltsh4e">fatcat:dfuggq4tp5fg3nreqheiltsh4e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503101132/https://hal.archives-ouvertes.fr/hal-00157454/file/DCDS_post_and_pre-initialized_stopwatch_petri_nets.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/98/53/985347159432668d8aa9ad14a498c50cbdfc51fe.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3182/20070613-3-fr-4909.00038"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Formal verification of real-time systems with preemptive scheduling

Didier Lime, Olivier (H. ) Roux
<span title="2008-08-28">2008</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6uj52ajhhrfhrh2at2niwfy6oq" style="color: black;">Real-time systems</a> </i> &nbsp;
In this paper, we propose a method for the verification of timed properties for real-time systems featuring a preemptive scheduling policy: the system, modeled as a scheduling time Petri net, is first  ...  In this paper, we specifically show how to deal with Fixed Priority and Earliest Deadline First policies, with the possibility of using Round-Robin for tasks with the same priority.  ...  These last two models are subclasses of inhibitor hyperarcs time Petri nets (IHTPN) , which, since they are more general, are not as well-suited for modeling real-time systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11241-008-9059-0">doi:10.1007/s11241-008-9059-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rtb3mb3ogfc3bdz553qvhhfvai">fatcat:rtb3mb3ogfc3bdz553qvhhfvai</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190315173516/https://core.ac.uk/download/pdf/53014955.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/4d/ae/4dae9af9078941f762ca3eb36a00e9a4c2bad997.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11241-008-9059-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle

Laura Carnevali, Lorenzo Ridi, Enrico Vicario
<span title="">2011</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dthyqga2onff5nwf4agwqtrhxi" style="color: black;">IEEE Transactions on Software Engineering</a> </i> &nbsp;
Preemptive Time Petri Nets (pTPNs) support modeling and analysis of concurrent timed SW components running under fixed priority preemptive scheduling.  ...  To implement the toolchain subtended by the overall approach into a Model Driven Development (MDD) framework, we complement the theory of state space analysis with methods and techniques supporting semiformal  ...  They also thank Giacomo Bucci for advise and Irene Bicchierai and Dario D'Amico for help in the experimentation stage.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tse.2011.4">doi:10.1109/tse.2011.4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sh5nv2ayr5etxm24wembf4zwdu">fatcat:sh5nv2ayr5etxm24wembf4zwdu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705092734/http://stlab.dinfo.unifi.it/carnevali/papers/11_CRV_TSE11.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/f0/78/f078cbe338a049bacb4abb9be3a23673c3f1a701.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tse.2011.4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Compositional Verification for Hierarchical Scheduling of Real-Time Systems

Laura Carnevali, Alessandro Pinzuti, Enrico Vicario
<span title="">2013</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dthyqga2onff5nwf4agwqtrhxi" style="color: black;">IEEE Transactions on Software Engineering</a> </i> &nbsp;
The approach leverages the assumption of a TDM partitioning to enable compositional design and analysis based on the model of preemptive Time Petri Nets (pTPNs), which is expressly extended with a concept  ...  We propose a compositional approach to formal specification and schedulability analysis of real-time applications running under a Time Division Multiplexing (TDM) global scheduler and preemptive Fixed  ...  of models such as StopWatch Automata (SWA) [14] , preemptive Time Petri Nets (pTPNs) [9] , Time Petri Nets with Inhibitor Hyperarcs (IHTPNs) [35] , or Scheduling Time Petri Nets (Scheduling-TPNs)  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tse.2012.54">doi:10.1109/tse.2012.54</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bn4bzl72hngtpgbhidfgqa2pkq">fatcat:bn4bzl72hngtpgbhidfgqa2pkq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705092803/http://stlab.dinfo.unifi.it/carnevali/papers/13_CPV_TSE13.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/8d/b28dbcf4662a3ba6949ed6cbbcabcd9e9381b9e5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tse.2012.54"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph [chapter]

Louis-Marie Traonouez, Didier Lime, Olivier H. Roux
<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 first introduce an extension of time Petri nets with inhibitor arcs (ITPNs) with temporal parameters.  ...  In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs.  ...  of Parametric Time Petri Nets with Inhibitor ArcsThe semantics of a Parametric Time Petri net with Inhibitor Arcs N is defined for a parameter valuation ν ∈ D p , as the non-parametric ITPN obtained when  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-85778-5_20">doi:10.1007/978-3-540-85778-5_20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/da6a33bdhvfcldcpbrmhga2j5m">fatcat:da6a33bdhvfcldcpbrmhga2j5m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190307232838/http://pdfs.semanticscholar.org/e8dc/362e2ca8c128072a69cf92d5df8aa9055a5e.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/dc/e8dc362e2ca8c128072a69cf92d5df8aa9055a5e.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-85778-5_20"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets

D. Lime, O. Roux
<i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/v45oxowmzff5lbub4ixtl2tazu" style="color: black;">25th IEEE International Real-Time Systems Symposium</a> </i> &nbsp;
The model considered is an extension of time Petri nets, Scheduling Extended Time Petri Nets (SETPN) for which the valuations of transitions may be stopped and resumed, thus allowing the modelling of preemption  ...  The method we propose consists of precomputing, with a fast algorithm, the state space of the SETPN as a stopwatch automaton (SWA).  ...  computation of the state space of formal models.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/real.2004.9">doi:10.1109/real.2004.9</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/rtss/LimeR04.html">dblp:conf/rtss/LimeR04</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t3bveh6xf5dazo2ledhw65wle4">fatcat:t3bveh6xf5dazo2ledhw65wle4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170811041557/http://www.irccyn.ec-nantes.fr/~olivier/fichiers/conf/lr-rtss-2004.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/de/d8/ded89f226b1502872a667da9d1d9aabf4fbcdbfe.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/real.2004.9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

LIPIcs, Volume 2, FSTTCS'08, Complete Volume [article]

Ramesh Hariharan, Madhavan Mukund, V Vinay
<span title="2013-09-27">2013</span>
Topology and determinacy For any arena (G, v) of a Banach-Mazur game, the space Paths(G, v) is endowed with a topology whose basic open sets are O(x), the sets of infinite prolongations of some finite  ...  This survey is based on joint research with Dietmar Berwanger and Stephan Kreutzer.  ...  ) problem for Petri nets with weak inhibitor arcs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.fsttcs.2008">doi:10.4230/lipics.fsttcs.2008</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/byk56drkgzc6dlyzfnfysbydoq">fatcat:byk56drkgzc6dlyzfnfysbydoq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180520161847/http://drops.dagstuhl.de/opus/volltexte/2013/4096/pdf/lipics-vol2-fsttcs2008-complete.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] </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.fsttcs.2008"> <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>