A Limit Semantics for Timed PN
Identifieur interne : 00A528 ( Main/Merge ); précédent : 00A527; suivant : 00A529A Limit Semantics for Timed PN
Auteurs : Bruno Gaujal [France] ; Stefan Haar [France]Source :
- The Springer International Series in Engineering and Computer Science [ 0893-3405 ]
Abstract
Abstract: In this paper, we investigate conditions for non-ambiguous behavior of a timed Petri net which also contains immediate transitions. Non-ambiguity here means that the net behavior is uniquely determined by some given set of control parameters. For this, we study the limit policy in which immediate transitions are treated as (“limits” of) timed transitions whose durations tend uniformly to 0, yielding a unique semantics; we give conditions under which this limit semantics exists.
Url:
DOI: 10.1007/978-1-4615-4493-7_22
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 002263
- to stream Istex, to step Curation: 002233
- to stream Istex, to step Checkpoint: 002200
Links to Exploration step
ISTEX:9459C85543360FECE0AA9E3ED9361455116FCE44Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">A Limit Semantics for Timed PN</title><author><name sortKey="Gaujal, Bruno" sort="Gaujal, Bruno" uniqKey="Gaujal B" first="Bruno" last="Gaujal">Bruno Gaujal</name></author><author><name sortKey="Haar, Stefan" sort="Haar, Stefan" uniqKey="Haar S" first="Stefan" last="Haar">Stefan Haar</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:9459C85543360FECE0AA9E3ED9361455116FCE44</idno><date when="2000" year="2000">2000</date><idno type="doi">10.1007/978-1-4615-4493-7_22</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-DKQZQC56-8/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">002263</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">002263</idno><idno type="wicri:Area/Istex/Curation">002233</idno><idno type="wicri:Area/Istex/Checkpoint">002200</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">002200</idno><idno type="wicri:doubleKey">0893-3405:2000:Gaujal B:a:limit:semantics</idno><idno type="wicri:Area/Main/Merge">00A528</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">A Limit Semantics for Timed PN</title><author><name sortKey="Gaujal, Bruno" sort="Gaujal, Bruno" uniqKey="Gaujal B" first="Bruno" last="Gaujal">Bruno Gaujal</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>LORIA, 615, rue du Jardin botanique, 54506, Villers-les-Nancy</wicri:regionArea><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Villers-les-Nancy</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Haar, Stefan" sort="Haar, Stefan" uniqKey="Haar S" first="Stefan" last="Haar">Stefan Haar</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>École Normale Supérieure/LIENS, 45 rue d’Ulm, 75230, Paris cedex 05</wicri:regionArea><placeName><region type="region" nuts="2">Île-de-France</region><settlement type="city">Paris</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">The Springer International Series in Engineering and Computer Science</title><idno type="ISSN">0893-3405</idno><idno type="ISSN">0893-3405</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0893-3405</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: In this paper, we investigate conditions for non-ambiguous behavior of a timed Petri net which also contains immediate transitions. Non-ambiguity here means that the net behavior is uniquely determined by some given set of control parameters. For this, we study the limit policy in which immediate transitions are treated as (“limits” of) timed transitions whose durations tend uniformly to 0, yielding a unique semantics; we give conditions under which this limit semantics exists.</div></front></TEI></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00A528 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00A528 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Merge
|type= RBID
|clé= ISTEX:9459C85543360FECE0AA9E3ED9361455116FCE44
|texte= A Limit Semantics for Timed PN
}}
| This area was generated with Dilib version V0.6.33. |  |