Serveur d'exploration sur la musique en Sarre

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Bibliography of Petri nets 1990

Identifieur interne : 000309 ( Istex/Corpus ); précédent : 000308; suivant : 000310

Bibliography of Petri nets 1990

Auteurs : Helmut Plünnecke ; Wolfgang Reisig

Source :

RBID : ISTEX:1D979668D24A1BA348FE5653CC93E790B24E0EB2

English descriptors


Url:
DOI: 10.1007/BFb0019981

Links to Exploration step

ISTEX:1D979668D24A1BA348FE5653CC93E790B24E0EB2

Le document en format XML

<record>
<TEI wicri:istexFullTextTei="biblStruct">
<teiHeader>
<fileDesc>
<titleStmt>
<title xml:lang="en">Bibliography of Petri nets 1990</title>
<author>
<name sortKey="Plunnecke, Helmut" sort="Plunnecke, Helmut" uniqKey="Plunnecke H" first="Helmut" last="Plünnecke">Helmut Plünnecke</name>
<affiliation>
<mods:affiliation>Gesellschaft für Mathematik und Datenverarbeitung, Institut für Methodische Grundlagen (F1), Schloß Birlinghoven, P.O. Box 1240, D-5205, St. Augustin 1</mods:affiliation>
</affiliation>
</author>
<author>
<name sortKey="Reisig, Wolfgang" sort="Reisig, Wolfgang" uniqKey="Reisig W" first="Wolfgang" last="Reisig">Wolfgang Reisig</name>
<affiliation>
<mods:affiliation>Institut für Informatik, Technische Universität München, P.O. Box 20 24 20, D-8000, München 20</mods:affiliation>
</affiliation>
</author>
</titleStmt>
<publicationStmt>
<idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:1D979668D24A1BA348FE5653CC93E790B24E0EB2</idno>
<date when="1991" year="1991">1991</date>
<idno type="doi">10.1007/BFb0019981</idno>
<idno type="url">https://api.istex.fr/document/1D979668D24A1BA348FE5653CC93E790B24E0EB2/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">000309</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000309</idno>
</publicationStmt>
<sourceDesc>
<biblStruct>
<analytic>
<title level="a" type="main" xml:lang="en">Bibliography of Petri nets 1990</title>
<author>
<name sortKey="Plunnecke, Helmut" sort="Plunnecke, Helmut" uniqKey="Plunnecke H" first="Helmut" last="Plünnecke">Helmut Plünnecke</name>
<affiliation>
<mods:affiliation>Gesellschaft für Mathematik und Datenverarbeitung, Institut für Methodische Grundlagen (F1), Schloß Birlinghoven, P.O. Box 1240, D-5205, St. Augustin 1</mods:affiliation>
</affiliation>
</author>
<author>
<name sortKey="Reisig, Wolfgang" sort="Reisig, Wolfgang" uniqKey="Reisig W" first="Wolfgang" last="Reisig">Wolfgang Reisig</name>
<affiliation>
<mods:affiliation>Institut für Informatik, Technische Universität München, P.O. Box 20 24 20, D-8000, München 20</mods:affiliation>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series>
<title level="s">Lecture Notes in Computer Science</title>
<imprint>
<date>1991</date>
</imprint>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt>
<idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc>
<textClass>
<keywords scheme="Teeft" xml:lang="en">
<term>Arbeitspapiere</term>
<term>Asynchronous</term>
<term>Augustin</term>
<term>Autom</term>
<term>Bericht</term>
<term>Brauer</term>
<term>Comp</term>
<term>Comput</term>
<term>Computer science</term>
<term>Concurrency</term>
<term>Concurrent systems</term>
<term>Conf</term>
<term>Datenverarbeitung</term>
<term>Dissertation</term>
<term>Ffir</term>
<term>Genrich</term>
<term>Gesellschaft</term>
<term>Gesellschaft ffir informatik</term>
<term>Gesellschaft ffir mathematik</term>
<term>Girault</term>
<term>Hamburg</term>
<term>Honnef</term>
<term>Ieee</term>
<term>Ieee comput</term>
<term>Ieee computer society press</term>
<term>Ifip</term>
<term>Informatik</term>
<term>Informatique</term>
<term>Inst</term>
<term>International conference</term>
<term>July</term>
<term>June</term>
<term>Lecture notes</term>
<term>Mathematik</term>
<term>Mfinchen</term>
<term>Modeling</term>
<term>Modelling</term>
<term>Murata</term>
<term>Performance evaluation</term>
<term>Performance models</term>
<term>Petri</term>
<term>Petri nets</term>
<term>Proc</term>
<term>Reisig</term>
<term>Reseau</term>
<term>Rozenberg</term>
<term>Semantics</term>
<term>September</term>
<term>Sequential</term>
<term>Simulation</term>
<term>Software</term>
<term>Software engineering</term>
<term>Special interest group</term>
<term>Springer</term>
<term>Springer verlag</term>
<term>Symp</term>
<term>Syst</term>
<term>System models</term>
<term>Systemes</term>
<term>Technical report</term>
<term>Theoretical computer science</term>
<term>Trans</term>
<term>Univ</term>
<term>Verlag</term>
<term>Voss</term>
</keywords>
</textClass>
<langUsage>
<language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
</TEI>
<istex>
<corpusName>springer</corpusName>
<keywords>
<teeft>
<json:string>petri</json:string>
<json:string>petri nets</json:string>
<json:string>ieee</json:string>
<json:string>proc</json:string>
<json:string>computer science</json:string>
<json:string>ffir</json:string>
<json:string>lecture notes</json:string>
<json:string>software</json:string>
<json:string>informatik</json:string>
<json:string>univ</json:string>
<json:string>gesellschaft</json:string>
<json:string>conf</json:string>
<json:string>modelling</json:string>
<json:string>rozenberg</json:string>
<json:string>comput</json:string>
<json:string>inst</json:string>
<json:string>datenverarbeitung</json:string>
<json:string>mathematik</json:string>
<json:string>concurrency</json:string>
<json:string>system models</json:string>
<json:string>special interest group</json:string>
<json:string>june</json:string>
<json:string>verlag</json:string>
<json:string>ieee computer society press</json:string>
<json:string>springer</json:string>
<json:string>reisig</json:string>
<json:string>july</json:string>
<json:string>semantics</json:string>
<json:string>springer verlag</json:string>
<json:string>modeling</json:string>
<json:string>ieee comput</json:string>
<json:string>technical report</json:string>
<json:string>comp</json:string>
<json:string>concurrent systems</json:string>
<json:string>honnef</json:string>
<json:string>international conference</json:string>
<json:string>murata</json:string>
<json:string>gesellschaft ffir mathematik</json:string>
<json:string>gesellschaft ffir informatik</json:string>
<json:string>reseau</json:string>
<json:string>systemes</json:string>
<json:string>arbeitspapiere</json:string>
<json:string>performance evaluation</json:string>
<json:string>trans</json:string>
<json:string>september</json:string>
<json:string>software engineering</json:string>
<json:string>asynchronous</json:string>
<json:string>simulation</json:string>
<json:string>bericht</json:string>
<json:string>brauer</json:string>
<json:string>genrich</json:string>
<json:string>ifip</json:string>
<json:string>theoretical computer science</json:string>
<json:string>girault</json:string>
<json:string>informatique</json:string>
<json:string>autom</json:string>
<json:string>mfinchen</json:string>
<json:string>sequential</json:string>
<json:string>dissertation</json:string>
<json:string>hamburg</json:string>
<json:string>augustin</json:string>
<json:string>performance models</json:string>
<json:string>voss</json:string>
<json:string>syst</json:string>
<json:string>symp</json:string>
<json:string>analyse</json:string>
<json:string>silva</json:string>
<json:string>april</json:string>
<json:string>hura</json:string>
<json:string>second european workshop</json:string>
<json:string>stochastic</json:string>
<json:string>reseauz</json:string>
<json:string>database</json:string>
<json:string>afcet</json:string>
<json:string>research report</json:string>
<json:string>petrl</json:string>
<json:string>ieee transactions</json:string>
<json:string>recherche</json:string>
<json:string>commun</json:string>
<json:string>diaz</json:string>
<json:string>computer</json:string>
<json:string>nauk</json:string>
<json:string>hrsg</json:string>
<json:string>synchronization</json:string>
<json:string>stochastic petri nets</json:string>
<json:string>informatica</json:string>
<json:string>gesellschaft ffir math</json:string>
<json:string>cybernetics</json:string>
<json:string>technische</json:string>
<json:string>pagnoni</json:string>
<json:string>microprogramming</json:string>
<json:string>petfi</json:string>
<json:string>modellierung</json:string>
<json:string>elsevier</json:string>
<json:string>valette</json:string>
<json:string>alamitos</json:string>
<json:string>algorithm</json:string>
<json:string>international workshop</json:string>
<json:string>piscataway</json:string>
<json:string>tyne</json:string>
<json:string>specification</json:string>
<json:string>protocol</json:string>
<json:string>reachability</json:string>
<json:string>chang</json:string>
<json:string>janicki</json:string>
<json:string>computer systems</json:string>
<json:string>heidelberg</json:string>
<json:string>ieee service center</json:string>
<json:string>publ</json:string>
<json:string>akad</json:string>
<json:string>pergamon press</json:string>
<json:string>programmation</json:string>
<json:string>theor</json:string>
<json:string>marsan</json:string>
<json:string>imacs</json:string>
<json:string>datenverarbeitung bonn</json:string>
<json:string>petfi nets</json:string>
<json:string>laboratoire</json:string>
<json:string>generalized nets</json:string>
<json:string>communication protocols</json:string>
<json:string>interner</json:string>
<json:string>gesellsehaft</json:string>
<json:string>finkel</json:string>
<json:string>nets voss</json:string>
<json:string>atanassov</json:string>
<json:string>goltz</json:string>
<json:string>telecommunication</json:string>
<json:string>protocol specification</json:string>
<json:string>ieee trans</json:string>
<json:string>net</json:string>
<json:string>robotics</json:string>
<json:string>wang</json:string>
<json:string>fachbereich</json:string>
<json:string>shatz</json:string>
<json:string>vlsi</json:string>
<json:string>liveness</json:string>
<json:string>chiola</json:string>
<json:string>multiprocessor</json:string>
<json:string>automatique</json:string>
<json:string>theorie</json:string>
<json:string>onaga</json:string>
<json:string>cindio</json:string>
<json:string>parallel processing</json:string>
<json:string>valk</json:string>
<json:string>petal</json:string>
<json:string>wissenschaftliche</json:string>
<json:string>shapiro</json:string>
<json:string>sept</json:string>
<json:string>memmi</json:string>
<json:string>ajmone</json:string>
<json:string>richter</json:string>
<json:string>winkowski</json:string>
<json:string>vector addition systems</json:string>
<json:string>orsay</json:string>
<json:string>validation</json:string>
<json:string>diplomarbeit</json:string>
<json:string>fifo</json:string>
<json:string>dimitrov</json:string>
<json:string>azema</json:string>
<json:string>institut ffir informatik</json:string>
<json:string>microprocessor</json:string>
<json:string>mathematical foundations</json:string>
<json:string>ifac</json:string>
<json:string>techn</json:string>
<json:string>fernandez</json:string>
<json:string>thiagarajan</json:string>
<json:string>balbo</json:string>
<json:string>wedde</json:string>
<json:string>petrinetzen</json:string>
<json:string>parallel computation</json:string>
<json:string>acta</json:string>
<json:string>aarhus</json:string>
<json:string>berichte</json:string>
<json:string>kotov</json:string>
<json:string>petrinetze</json:string>
<json:string>lauer</json:string>
<json:string>fachbereich informatik</json:string>
<json:string>varenna</json:string>
<json:string>yoeli</json:string>
<json:string>third european workshop</json:string>
<json:string>beschreibung</json:string>
<json:string>dortmund</json:string>
<json:string>elsevier science publishers</json:string>
<json:string>microprocessing</json:string>
<json:string>massachusetts inst</json:string>
<json:string>petal nets</json:string>
<json:string>prinoth</json:string>
<json:string>pergamon</json:string>
<json:string>coloured petri nets</json:string>
<json:string>system sciences</json:string>
<json:string>dresden</json:string>
<json:string>zaragoza</json:string>
<json:string>heft</json:string>
<json:string>petrl nets</json:string>
<json:string>euromicro</json:string>
<json:string>manufacturing systems</json:string>
<json:string>hierarchical</json:string>
<json:string>stotts</json:string>
<json:string>decidability</json:string>
<json:string>toulouse</json:string>
<json:string>starke</json:string>
<json:string>lautenbach</json:string>
<json:string>interactive</json:string>
<json:string>central models</json:string>
<json:string>fiir</json:string>
<json:string>decision systems</json:string>
<json:string>daimi</json:string>
<json:string>simone</json:string>
<json:string>instrum</json:string>
<json:string>pctri</json:string>
<json:string>systeme</json:string>
<json:string>amsterdam</json:string>
<json:string>methodology</json:string>
<json:string>coloured</json:string>
<json:string>algebraic</json:string>
<json:string>edite</json:string>
<json:string>flexible manufacturing systems</json:string>
<json:string>proe</json:string>
<json:string>desel</json:string>
<json:string>berthelot</json:string>
<json:string>other models</json:string>
<json:string>wisconsin washington</json:string>
<json:string>wien</json:string>
<json:string>systemen</json:string>
<json:string>institut</json:string>
<json:string>automaton</json:string>
<json:string>information processing letters</json:string>
<json:string>karlsruhe</json:string>
<json:string>control engineers</json:string>
<json:string>ajmone marsan</json:string>
<json:string>international symposium</json:string>
<json:string>information systems</json:string>
<json:string>synchronic</json:string>
<json:string>centre laboratoire</json:string>
<json:string>kybernetik</json:string>
<json:string>stochastic petri</json:string>
<json:string>graspin</json:string>
<json:string>reaehability</json:string>
<json:string>helsinki</json:string>
<json:string>ammar</json:string>
<json:string>midwest symposium</json:string>
<json:string>florin</json:string>
<json:string>ieee workshop</json:string>
<json:string>degano</json:string>
<json:string>wissenschaften</json:string>
<json:string>amse</json:string>
<json:string>merceron</json:string>
<json:string>eines</json:string>
<json:string>bandman</json:string>
<json:string>akademie</json:string>
<json:string>podstawy</json:string>
<json:string>avtom</json:string>
<json:string>trivedi</json:string>
<json:string>jantzen</json:string>
<json:string>information processing</json:string>
<json:string>angewandte</json:string>
<json:string>sifakis</json:string>
<json:string>netze</json:string>
<json:string>newcastle</json:string>
<json:string>newsletter</json:string>
<json:string>discrete systems</json:string>
<json:string>silva suarez</json:string>
<json:string>araki</json:string>
<json:string>yemini</json:string>
<json:string>ghezzi</json:string>
<json:string>banaszak</json:string>
<json:string>interner bericht</json:string>
<json:string>esparza</json:string>
<json:string>ayache</json:string>
<json:string>vychisl</json:string>
<json:string>concurrent processes</json:string>
<json:string>suarez</json:string>
<json:string>operations research</json:string>
<json:string>remote control</json:string>
<json:string>informatiques</json:string>
<json:string>compsac</json:string>
<json:string>verification</json:string>
<json:string>robot</json:string>
<json:string>math</json:string>
<json:string>netn</json:string>
<json:string>zeitschrift</json:string>
<json:string>bakker</json:string>
<json:string>automatic control</json:string>
<json:string>fundamenta</json:string>
<json:string>methoden</json:string>
<json:string>publishing company</json:string>
<json:string>appl</json:string>
<json:string>parallel programs</json:string>
<json:string>paralleles</json:string>
<json:string>billington</json:string>
<json:string>entwurf</json:string>
<json:string>sterowania</json:string>
<json:string>colom</json:string>
<json:string>singh</json:string>
<json:string>petzi</json:string>
<json:string>performance analysis</json:string>
<json:string>gentina</json:string>
<json:string>elektron</json:string>
<json:string>prozesse</json:string>
<json:string>concurrent</json:string>
<json:string>bonn</json:string>
<json:string>podstawy sterowania</json:string>
<json:string>science informatiques</json:string>
<json:string>nielsen</json:string>
<json:string>milano</json:string>
<json:string>netzen</json:string>
<json:string>temporal logic</json:string>
<json:string>cnrs</json:string>
<json:string>godbersen</json:string>
<json:string>modelisation</json:string>
<json:string>concurrent programs</json:string>
<json:string>tsuji</json:string>
<json:string>tobit</json:string>
<json:string>informationsverarbeitung</json:string>
<json:string>champaign</json:string>
<json:string>queueing</json:string>
<json:string>petzi nets</json:string>
<json:string>discrete event systems</json:string>
<json:string>taubner</json:string>
<json:string>supercomputing</json:string>
<json:string>anwendung</json:string>
<json:string>oldenbourg</json:string>
<json:string>sssr</json:string>
<json:string>flezible</json:string>
<json:string>patti nets</json:string>
<json:string>moalla</json:string>
<json:string>microcomputer</json:string>
<json:string>event structures</json:string>
<json:string>programmable</json:string>
<json:string>llth</json:string>
<json:string>pomello</json:string>
<json:string>wakefield</json:string>
<json:string>imacs world conf</json:string>
<json:string>espoo</json:string>
<json:string>tekh</json:string>
<json:string>bruno</json:string>
<json:string>prototyping</json:string>
<json:string>nicola</json:string>
<json:string>telemekh</json:string>
<json:string>natkin</json:string>
<json:string>expert systems</json:string>
<json:string>informaticae</json:string>
<json:string>datta</json:string>
<json:string>internal report</json:string>
<json:string>reti</json:string>
<json:string>computer science department</json:string>
<json:string>knuth</json:string>
<json:string>varna</json:string>
<json:string>jahrestagung</json:string>
<json:string>haddad</json:string>
<json:string>komoda</json:string>
<json:string>informationssysteme</json:string>
<json:string>einer</json:string>
<json:string>winskel</json:string>
<json:string>zhang</json:string>
<json:string>amse review</json:string>
<json:string>veflag</json:string>
<json:string>free choice nets</json:string>
<json:string>sist</json:string>
<json:string>bobbio</json:string>
<json:string>transition systems</json:string>
<json:string>temp</json:string>
<json:string>parallel systems</json:string>
<json:string>oberquelle</json:string>
<json:string>kuzmuk</json:string>
<json:string>razouk</json:string>
<json:string>newslette</json:string>
<json:string>technischen</json:string>
<json:string>krogh</json:string>
<json:string>programme</json:string>
<json:string>electrical engineering</json:string>
<json:string>netherlands</json:string>
<json:string>reliability</json:string>
<json:string>edinburgh</json:string>
<json:string>predicate</json:string>
<json:string>allerton</json:string>
<json:string>favrel</json:string>
<json:string>realisation</json:string>
<json:string>european conference</json:string>
<json:string>russian atanassov</json:string>
<json:string>subclass</json:string>
<json:string>adaptive</json:string>
<json:string>formale</json:string>
<json:string>magott</json:string>
<json:string>hillion</json:string>
<json:string>ingenieria</json:string>
<json:string>aarhus univ</json:string>
<json:string>universidad</json:string>
<json:string>prolog</json:string>
<json:string>lausen</json:string>
<json:string>simulator</json:string>
<json:string>beijing</json:string>
<json:string>eckert</json:string>
<json:string>system design</json:string>
<json:string>grabowski</json:string>
<json:string>computer sciences</json:string>
<json:string>aachen</json:string>
<json:string>intelligent control</json:string>
<json:string>theoretical foundations</json:string>
<json:string>formal description</json:string>
<json:string>discrete information systems</json:string>
<json:string>production systems</json:string>
<json:string>annales</json:string>
<json:string>reliab</json:string>
<json:string>kumagai</json:string>
<json:string>software systems</json:string>
<json:string>merlin</json:string>
<json:string>mayr</json:string>
<json:string>courtiat</json:string>
<json:string>prec</json:string>
<json:string>cherkasova</json:string>
<json:string>matriz</json:string>
<json:string>vogt</json:string>
<json:string>fundamenta informaticae</json:string>
<json:string>control systems</json:string>
<json:string>gesellsehaft ffir informatik</json:string>
<json:string>devillers</json:string>
<json:string>silver spring</json:string>
<json:string>proceedings</json:string>
<json:string>patti</json:string>
<json:string>suzuki</json:string>
<json:string>functional graphs</json:string>
<json:string>anwendungen</json:string>
<json:string>software specification</json:string>
<json:string>feldbrugge</json:string>
<json:string>computer communications</json:string>
<json:string>paralleler</json:string>
<json:string>khowarizmi</json:string>
<json:string>control comput</json:string>
<json:string>forschungsbericht</json:string>
<json:string>revue</json:string>
<json:string>symons</json:string>
<json:string>technik</json:string>
<json:string>module</json:string>
<json:string>belikov</json:string>
<json:string>juni</json:string>
<json:string>colored petri nets</json:string>
<json:string>departamento</json:string>
<json:string>manesse</json:string>
<json:string>artificial intelligence</json:string>
<json:string>ghosh</json:string>
<json:string>pctri nets</json:string>
<json:string>pelz</json:string>
<json:string>petri networks</json:string>
<json:string>scientific research</json:string>
<json:string>rairo</json:string>
<json:string>computer software</json:string>
<json:string>darstellung</json:string>
<json:string>infocom</json:string>
<json:string>afips</json:string>
<json:string>burkhardt</json:string>
<json:string>vogler</json:string>
<json:string>roucairol</json:string>
<json:string>sequential processes</json:string>
<json:string>logiques</json:string>
<json:string>montanari</json:string>
<json:string>yuan</json:string>
<json:string>burkhard</json:string>
<json:string>mandrioli</json:string>
<json:string>geseuschaft</json:string>
<json:string>eatcs</json:string>
<json:string>applications conference</json:string>
<json:string>teeh</json:string>
<json:string>universite</json:string>
<json:string>lecture</json:string>
<json:string>grenoble</json:string>
<json:string>mauri</json:string>
<json:string>schmid</json:string>
<json:string>interleaving</json:string>
<json:string>systems engineering</json:string>
<json:string>abellard</json:string>
<json:string>darmstadt</json:string>
<json:string>congres</json:string>
<json:string>plenum</json:string>
<json:string>digital processes</json:string>
<json:string>grafcet</json:string>
<json:string>overview</json:string>
<json:string>juanole</json:string>
<json:string>numerical petri nets</json:string>
<json:string>design methodology</json:string>
<json:string>k6nig</json:string>
<json:string>programmirovanie</json:string>
<json:string>degli</json:string>
<json:string>verteilten</json:string>
<json:string>nauka</json:string>
<json:string>boudol</json:string>
<json:string>simul</json:string>
<json:string>partial order</json:string>
<json:string>segras</json:string>
<json:string>cedex</json:string>
<json:string>avtomatika</json:string>
<json:string>sankt</json:string>
<json:string>modell</json:string>
<json:string>synthese</json:string>
<json:string>sektion</json:string>
<json:string>acta informatica</json:string>
<json:string>parallel programming</json:string>
<json:string>technion</json:string>
<json:string>annual conference</json:string>
<json:string>butz</json:string>
<json:string>nutt</json:string>
<json:string>campos</json:string>
<json:string>modelle</json:string>
<json:string>parallel processes</json:string>
<json:string>telecom</json:string>
<json:string>caspi</json:string>
<json:string>steuern</json:string>
<json:string>synchronisation</json:string>
<json:string>ieee computer</json:string>
<json:string>mini</json:string>
<json:string>rosier</json:string>
<json:string>analysi</json:string>
<json:string>commande</json:string>
<json:string>michelis</json:string>
<json:string>springer veflag</json:string>
<json:string>grundlagen</json:string>
<json:string>acad</json:string>
<json:string>schmidt</json:string>
<json:string>automation</json:string>
<json:string>programming</json:string>
<json:string>centre</json:string>
<json:string>behaviour</json:string>
<json:string>holt</json:string>
<json:string>sigsoft</json:string>
<json:string>bellon</json:string>
<json:string>sektion mathematik</json:string>
<json:string>dipartimento</json:string>
<json:string>piuri</json:string>
<json:string>kasami</json:string>
<json:string>jakubowski</json:string>
<json:string>digital systems laboratory</json:string>
<json:string>ojala</json:string>
<json:string>kosai</json:string>
<json:string>preprint</json:string>
<json:string>vega</json:string>
<json:string>anisimov</json:string>
<json:string>montonen</json:string>
<json:string>akademii</json:string>
<json:string>bordereau</json:string>
<json:string>galileo</json:string>
<json:string>rechentechnik</json:string>
<json:string>kibern</json:string>
<json:string>electrica</json:string>
<json:string>ingenieria electrica</json:string>
<json:string>concurrent computation kahn</json:string>
<json:string>cybern</json:string>
<json:string>kettunen</json:string>
<json:string>lindqvist</json:string>
<json:string>real time</json:string>
<json:string>polonae</json:string>
<json:string>bourbakis</json:string>
<json:string>irvine</json:string>
<json:string>corbeel</json:string>
<json:string>technical paper</json:string>
<json:string>industrial electronics</json:string>
<json:string>automatisierungstechnik</json:string>
<json:string>keller</json:string>
<json:string>conference record</json:string>
<json:string>bearman</json:string>
<json:string>fifo nets</json:string>
<json:string>aarhus university</json:string>
<json:string>glabbeek</json:string>
<json:string>nanda</json:string>
<json:string>krasnobaev</json:string>
<json:string>narahari</json:string>
<json:string>sofia</json:string>
<json:string>besehreibung</json:string>
<json:string>microelectronics</json:string>
<json:string>helsinki univ</json:string>
<json:string>courvoisier</json:string>
<json:string>johnen</json:string>
<json:string>computation structures group memo</json:string>
<json:string>magy</json:string>
<json:string>computer networks</json:string>
<json:string>modelled</json:string>
<json:string>kibernetika</json:string>
<json:string>molloy</json:string>
<json:string>wendt</json:string>
<json:string>mamikonov</json:string>
<json:string>ciardo</json:string>
<json:string>ksln</json:string>
<json:string>informatlk</json:string>
<json:string>ozsu</json:string>
<json:string>paule</json:string>
<json:string>multiproeessor</json:string>
<json:string>hochschule</json:string>
<json:string>specification language</json:string>
<json:string>symposium</json:string>
<json:string>matrix</json:string>
<json:string>stuttgart</json:string>
<json:string>memo</json:string>
<json:string>ieee computer society</json:string>
<json:string>bocconi</json:string>
<json:string>centre france</json:string>
<json:string>iecon</json:string>
<json:string>reachability problem</json:string>
<json:string>kyng</json:string>
<json:string>conl</json:string>
<json:string>saucier</json:string>
<json:string>souissi</json:string>
<json:string>ntis</json:string>
<json:string>concurrency relations</json:string>
<json:string>informatics</json:string>
<json:string>soviet journal</json:string>
<json:string>systems sciences</json:string>
<json:string>neta</json:string>
<json:string>elli</json:string>
<json:string>petri netn</json:string>
<json:string>grundlage</json:string>
<json:string>taniguchi</json:string>
<json:string>huber</json:string>
<json:string>systemes paralleles</json:string>
<json:string>langage</json:string>
<json:string>robach</json:string>
<json:string>midwest symp</json:string>
<json:string>gelenbe</json:string>
<json:string>morasca</json:string>
<json:string>propositional</json:string>
<json:string>michel</json:string>
<json:string>watanabe</json:string>
<json:string>rosmr</json:string>
<json:string>office information systems</json:string>
<json:string>inria</json:string>
<json:string>ochmanski</json:string>
<json:string>scientific instrumentation</json:string>
<json:string>velilla</json:string>
<json:string>anaheim</json:string>
<json:string>ftc</json:string>
<json:string>system modeling</json:string>
<json:string>dataflow</json:string>
<json:string>bruell</json:string>
<json:string>markov</json:string>
<json:string>scheschonk</json:string>
<json:string>brams</json:string>
<json:string>technol</json:string>
<json:string>seventh workshop</json:string>
<json:string>hommel</json:string>
<json:string>riga</json:string>
<json:string>agerwala</json:string>
<json:string>subset</json:string>
<json:string>werkzeuge</json:string>
<json:string>vieweg</json:string>
<json:string>tanulmanyok</json:string>
<json:string>sankt augustin</json:string>
<json:string>nondeterministic</json:string>
<json:string>syre</json:string>
<json:string>ladet</json:string>
<json:string>boundedness</json:string>
<json:string>informationen</json:string>
<json:string>reporte</json:string>
<json:string>processing syre</json:string>
<json:string>choi</json:string>
<json:string>cepadues</json:string>
<json:string>fachtagung</json:string>
<json:string>springerverlag</json:string>
<json:string>fidelak</json:string>
<json:string>petkov</json:string>
<json:string>european simulation congress</json:string>
<json:string>theoretic</json:string>
<json:string>ieee conf</json:string>
<json:string>einsatz</json:string>
<json:string>assoc</json:string>
<json:string>peng</json:string>
<json:string>zuberek</json:string>
<json:string>ramamoorthy</json:string>
<json:string>paiva</json:string>
<json:string>ieee infocom</json:string>
<json:string>dayton</json:string>
<json:string>gesellsehaft ffir mathematik</json:string>
<json:string>algorithmen</json:string>
<json:string>demmou</json:string>
<json:string>fensch</json:string>
<json:string>hasegawa</json:string>
<json:string>angewandte informatik</json:string>
<json:string>haas</json:string>
<json:string>politech</json:string>
<json:string>ezecution</json:string>
<json:string>szamitastech</json:string>
<json:string>time petri nets</json:string>
<json:string>ieee conference</json:string>
<json:string>oberweis</json:string>
<json:string>barcelona</json:string>
<json:string>etzion</json:string>
<json:string>simulationstechnik</json:string>
<json:string>digital systems</json:string>
<json:string>gesellschaft ffir</json:string>
<json:string>messen</json:string>
<json:string>rech</json:string>
<json:string>statistik</json:string>
<json:string>tabak</json:string>
<json:string>bourey</json:string>
<json:string>juin</json:string>
<json:string>bssr</json:string>
<json:string>tani</json:string>
<json:string>redes</json:string>
<json:string>heuser</json:string>
<json:string>madni</json:string>
<json:string>behr</json:string>
<json:string>rammig</json:string>
<json:string>ilmenau</json:string>
<json:string>software technology</json:string>
<json:string>case study</json:string>
<json:string>stoughton</json:string>
<json:string>theoretical aspects</json:string>
<json:string>rupprecht</json:string>
<json:string>strom</json:string>
<json:string>algebra</json:string>
<json:string>torino</json:string>
<json:string>computation</json:string>
<json:string>stanford</json:string>
<json:string>howell</json:string>
<json:string>syrup</json:string>
<json:string>transactions</json:string>
<json:string>milan</json:string>
<json:string>graphical</json:string>
<json:string>rapport</json:string>
<json:string>algebraic approach</json:string>
<json:string>national aerospace</json:string>
<json:string>system modelling</json:string>
<json:string>johns hopkins university</json:string>
<json:string>asynchronous processes</json:string>
<json:string>colored petri</json:string>
<json:string>temps reel</json:string>
<json:string>synchronic distance</json:string>
<json:string>data research</json:string>
<json:string>vector replacement systems</json:string>
<json:string>multiprocessor systems</json:string>
<json:string>western periodicals</json:string>
<json:string>performance evaluation review</json:string>
<json:string>linear time</json:string>
<json:string>asynchronous systems</json:string>
<json:string>knowledge representation</json:string>
<json:string>bocconi university</json:string>
<json:string>formal model</json:string>
<json:string>partial order semantics</json:string>
<json:string>oldenbourg verlag</json:string>
<json:string>programming languages</json:string>
<json:string>congres automatique</json:string>
<json:string>protocol analysis</json:string>
<json:string>data engineering</json:string>
<json:string>information sciences</json:string>
<json:string>annual allerton conference</json:string>
<json:string>3eme cycle</json:string>
<json:string>international journal</json:string>
<json:string>ifip congress</json:string>
<json:string>cepadues editions</json:string>
<json:string>research report series</json:string>
<json:string>numerical petri</json:string>
<json:string>stanford university</json:string>
<json:string>final report</json:string>
<json:string>degli antoni</json:string>
<json:string>data processing</json:string>
<json:string>dun</json:string>
<json:string>novosibirsk</json:string>
<json:string>herzog</json:string>
<json:string>levis</json:string>
<json:string>reel</json:string>
<json:string>leiden</json:string>
<json:string>workshop</json:string>
<json:string>graph model</json:string>
<json:string>communication protocol</json:string>
<json:string>petri netzen</json:string>
<json:string>database systems</json:string>
<json:string>modelling techniques</json:string>
<json:string>graphtheoretic concepts</json:string>
<json:string>basic notions</json:string>
<json:string>special issue</json:string>
<json:string>operational semantics</json:string>
<json:string>communications technology</json:string>
<json:string>signal processing</json:string>
<json:string>annual syrup</json:string>
<json:string>international seminar</json:string>
<json:string>industrial engineering</json:string>
<json:string>karl marx univ</json:string>
<json:string>elsevier science publ</json:string>
<json:string>sucena paiva</json:string>
<json:string>ffir informatik</json:string>
<json:string>deterministic petri nets</json:string>
<json:string>modernen datenverarbeitung</json:string>
<json:string>rwth aachen</json:string>
<json:string>local area networks</json:string>
<json:string>parallel architectures</json:string>
<json:string>formal aspects</json:string>
<json:string>annual symposium</json:string>
<json:string>datenverarbeitung tobit</json:string>
<json:string>information technology</json:string>
<json:string>national aeronautics</json:string>
<json:string>research triangle park</json:string>
<json:string>concurrent behaviour</json:string>
<json:string>electronics conference</json:string>
<json:string>design process</json:string>
<json:string>datenverarbeitung tobit bonn</json:string>
<json:string>mcmaster university</json:string>
<json:string>programming concepts</json:string>
<json:string>petri temporises</json:string>
<json:string>model realism</json:string>
<json:string>data flow</json:string>
<json:string>microprocessing microprogramming</json:string>
<json:string>adequate modeling</json:string>
<json:string>report univ</json:string>
<json:string>formal verification</json:string>
<json:string>graph grammars</json:string>
<json:string>marie curie</json:string>
<json:string>minimal deadlocks</json:string>
<json:string>national electronics conference</json:string>
<json:string>ieee service cent</json:string>
<json:string>national engineering consortium</json:string>
<json:string>systems analysis</json:string>
<json:string>data bases</json:string>
<json:string>russian atanassov theory</json:string>
<json:string>communication engineers</json:string>
<json:string>wissenschaftliche schriftenreihe</json:string>
<json:string>algebraic aspect</json:string>
<json:string>russian kotov</json:string>
<json:string>structural properties</json:string>
<json:string>interaction systems</json:string>
<json:string>function nets</json:string>
<json:string>formal specification</json:string>
<json:string>informatik fachberichte</json:string>
<json:string>quantitative analysis</json:string>
<json:string>software development</json:string>
<json:string>decision problems</json:string>
<json:string>parallel algorithms</json:string>
<json:string>concurrent processing</json:string>
<json:string>generalized petri nets</json:string>
<json:string>petri neta</json:string>
<json:string>stochastic activity networks</json:string>
<json:string>technischen hochschule</json:string>
<json:string>russian bandman</json:string>
<json:string>large scale systems</json:string>
<json:string>safe petri nets</json:string>
<json:string>ifac symposium</json:string>
<json:string>reduction method</json:string>
<json:string>formal semantics</json:string>
<json:string>discrete</json:string>
<json:string>scheduling</json:string>
<json:string>computational</json:string>
<json:string>patil</json:string>
<json:string>waterloo</json:string>
<json:string>lang</json:string>
<json:string>ussr</json:string>
<json:string>belgium</json:string>
<json:string>lev</json:string>
<json:string>chung</json:string>
<json:string>optimization</json:string>
<json:string>ghent</json:string>
<json:string>conte</json:string>
<json:string>monterey</json:string>
</teeft>
</keywords>
<author>
<json:item>
<name>Helmut Plünnecke</name>
<affiliations>
<json:string>Gesellschaft für Mathematik und Datenverarbeitung, Institut für Methodische Grundlagen (F1), Schloß Birlinghoven, P.O. Box 1240, D-5205, St. Augustin 1</json:string>
</affiliations>
</json:item>
<json:item>
<name>Wolfgang Reisig</name>
<affiliations>
<json:string>Institut für Informatik, Technische Universität München, P.O. Box 20 24 20, D-8000, München 20</json:string>
</affiliations>
</json:item>
</author>
<language>
<json:string>eng</json:string>
</language>
<originalGenre>
<json:string>ReviewPaper</json:string>
</originalGenre>
<qualityIndicators>
<score>5.012</score>
<pdfWordCount>123845</pdfWordCount>
<pdfCharCount>795823</pdfCharCount>
<pdfVersion>1.3</pdfVersion>
<pdfPageCount>256</pdfPageCount>
<pdfPageSize>468 x 684 pts</pdfPageSize>
<refBibsNative>false</refBibsNative>
<abstractWordCount>1</abstractWordCount>
<abstractCharCount>0</abstractCharCount>
<keywordCount>0</keywordCount>
</qualityIndicators>
<title>Bibliography of Petri nets 1990</title>
<chapterId>
<json:string>16</json:string>
<json:string>Chap16</json:string>
</chapterId>
<genre>
<json:string>conference</json:string>
</genre>
<serie>
<title>Lecture Notes in Computer Science</title>
<language>
<json:string>unknown</json:string>
</language>
<copyrightDate>1991</copyrightDate>
<issn>
<json:string>0302-9743</json:string>
</issn>
<eissn>
<json:string>1611-3349</json:string>
</eissn>
<editor>
<json:item>
<name>Gerhard Goos</name>
</json:item>
<json:item>
<name>Juris Hartmanis</name>
</json:item>
</editor>
</serie>
<host>
<title>Advances in Petri Nets 1991</title>
<language>
<json:string>unknown</json:string>
</language>
<copyrightDate>1991</copyrightDate>
<doi>
<json:string>10.1007/BFb0019965</json:string>
</doi>
<issn>
<json:string>0302-9743</json:string>
</issn>
<eissn>
<json:string>1611-3349</json:string>
</eissn>
<eisbn>
<json:string>978-3-540-47600-9</json:string>
</eisbn>
<bookId>
<json:string>3540543988</json:string>
</bookId>
<isbn>
<json:string>978-3-540-54398-5</json:string>
</isbn>
<volume>524</volume>
<pages>
<first>317</first>
<last>572</last>
</pages>
<genre>
<json:string>book-series</json:string>
</genre>
<editor>
<json:item>
<name>Grzegorz Rozenberg</name>
</json:item>
</editor>
<subject>
<json:item>
<value>Computer Science</value>
</json:item>
<json:item>
<value>Computer Science</value>
</json:item>
<json:item>
<value>Computation by Abstract Devices</value>
</json:item>
<json:item>
<value>Algorithm Analysis and Problem Complexity</value>
</json:item>
<json:item>
<value>Logics and Meanings of Programs</value>
</json:item>
<json:item>
<value>Processor Architectures</value>
</json:item>
<json:item>
<value>Computer Communication Networks</value>
</json:item>
<json:item>
<value>Operating Systems</value>
</json:item>
</subject>
</host>
<publicationDate>2005</publicationDate>
<copyrightDate>1991</copyrightDate>
<doi>
<json:string>10.1007/BFb0019981</json:string>
</doi>
<id>1D979668D24A1BA348FE5653CC93E790B24E0EB2</id>
<score>1</score>
<fulltext>
<json:item>
<extension>pdf</extension>
<original>true</original>
<mimetype>application/pdf</mimetype>
<uri>https://api.istex.fr/document/1D979668D24A1BA348FE5653CC93E790B24E0EB2/fulltext/pdf</uri>
</json:item>
<json:item>
<extension>zip</extension>
<original>false</original>
<mimetype>application/zip</mimetype>
<uri>https://api.istex.fr/document/1D979668D24A1BA348FE5653CC93E790B24E0EB2/fulltext/zip</uri>
</json:item>
<istex:fulltextTEI uri="https://api.istex.fr/document/1D979668D24A1BA348FE5653CC93E790B24E0EB2/fulltext/tei">
<teiHeader>
<fileDesc>
<titleStmt>
<title level="a" type="main" xml:lang="en">Bibliography of Petri nets 1990</title>
</titleStmt>
<publicationStmt>
<authority>ISTEX</authority>
<publisher>Springer Berlin Heidelberg</publisher>
<pubPlace>Berlin, Heidelberg</pubPlace>
<availability>
<p>Springer-Verlag, 1991</p>
</availability>
<date>1991</date>
</publicationStmt>
<sourceDesc>
<biblStruct type="inbook">
<analytic>
<title level="a" type="main" xml:lang="en">Bibliography of Petri nets 1990</title>
<author xml:id="author-0000">
<persName>
<forename type="first">Helmut</forename>
<surname>Plünnecke</surname>
</persName>
<affiliation>Gesellschaft für Mathematik und Datenverarbeitung, Institut für Methodische Grundlagen (F1), Schloß Birlinghoven, P.O. Box 1240, D-5205, St. Augustin 1</affiliation>
</author>
<author xml:id="author-0001">
<persName>
<forename type="first">Wolfgang</forename>
<surname>Reisig</surname>
</persName>
<affiliation>Institut für Informatik, Technische Universität München, P.O. Box 20 24 20, D-8000, München 20</affiliation>
</author>
<idno type="istex">1D979668D24A1BA348FE5653CC93E790B24E0EB2</idno>
<idno type="DOI">10.1007/BFb0019981</idno>
<idno type="ChapterID">16</idno>
<idno type="ChapterID">Chap16</idno>
</analytic>
<monogr>
<title level="m">Advances in Petri Nets 1991</title>
<idno type="DOI">10.1007/BFb0019965</idno>
<idno type="pISBN">978-3-540-54398-5</idno>
<idno type="eISBN">978-3-540-47600-9</idno>
<idno type="pISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="book-title-ID">27832</idno>
<idno type="book-ID">3540543988</idno>
<idno type="book-chapter-count">16</idno>
<idno type="book-volume-number">524</idno>
<editor xml:id="book-author-0000">
<persName>
<forename type="first">Grzegorz</forename>
<surname>Rozenberg</surname>
</persName>
</editor>
<imprint>
<publisher>Springer Berlin Heidelberg</publisher>
<pubPlace>Berlin, Heidelberg</pubPlace>
<date type="published" when="2005-06-11"></date>
<biblScope unit="volume">524</biblScope>
<biblScope unit="page" from="317">317</biblScope>
<biblScope unit="page" to="572">572</biblScope>
</imprint>
</monogr>
<series>
<title level="s">Lecture Notes in Computer Science</title>
<editor xml:id="serie-author-0000">
<persName>
<forename type="first">Gerhard</forename>
<surname>Goos</surname>
</persName>
</editor>
<editor xml:id="serie-author-0001">
<persName>
<forename type="first">Juris</forename>
<surname>Hartmanis</surname>
</persName>
</editor>
<biblScope>
<date>1991</date>
</biblScope>
<idno type="pISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="series-Id">558</idno>
</series>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc>
<creation>
<date>1991</date>
</creation>
<langUsage>
<language ident="en">en</language>
</langUsage>
<textClass>
<keywords scheme="Book-Subject-Collection">
<list>
<label>SUCO11645</label>
<item>
<term>Computer Science</term>
</item>
</list>
</keywords>
</textClass>
<textClass>
<keywords scheme="Book-Subject-Group">
<list>
<label>I</label>
<item>
<term>Computer Science</term>
</item>
<label>I16013</label>
<item>
<term>Computation by Abstract Devices</term>
</item>
<label>I16021</label>
<item>
<term>Algorithm Analysis and Problem Complexity</term>
</item>
<label>I1603X</label>
<item>
<term>Logics and Meanings of Programs</term>
</item>
<label>I13014</label>
<item>
<term>Processor Architectures</term>
</item>
<label>I13022</label>
<item>
<term>Computer Communication Networks</term>
</item>
<label>I14045</label>
<item>
<term>Operating Systems</term>
</item>
</list>
</keywords>
</textClass>
</profileDesc>
<revisionDesc>
<change when="2005-06-11">Published</change>
</revisionDesc>
</teiHeader>
</istex:fulltextTEI>
<json:item>
<extension>txt</extension>
<original>false</original>
<mimetype>text/plain</mimetype>
<uri>https://api.istex.fr/document/1D979668D24A1BA348FE5653CC93E790B24E0EB2/fulltext/txt</uri>
</json:item>
</fulltext>
<metadata>
<istex:metadataXml wicri:clean="Springer, Publisher found" wicri:toSee="no header">
<istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration>
<istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType>
<istex:document>
<Publisher>
<PublisherInfo>
<PublisherName>Springer Berlin Heidelberg</PublisherName>
<PublisherLocation>Berlin, Heidelberg</PublisherLocation>
</PublisherInfo>
<Series>
<SeriesInfo TocLevels="0">
<SeriesID>558</SeriesID>
<SeriesPrintISSN>0302-9743</SeriesPrintISSN>
<SeriesElectronicISSN>1611-3349</SeriesElectronicISSN>
<SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle>
<SeriesAbbreviatedTitle>Lect Notes Comput Sci</SeriesAbbreviatedTitle>
</SeriesInfo>
<SeriesHeader>
<EditorGroup>
<Editor>
<EditorName DisplayOrder="Western">
<GivenName>Gerhard</GivenName>
<FamilyName>Goos</FamilyName>
</EditorName>
</Editor>
<Editor>
<EditorName DisplayOrder="Western">
<GivenName>Juris</GivenName>
<FamilyName>Hartmanis</FamilyName>
</EditorName>
</Editor>
</EditorGroup>
</SeriesHeader>
<Book Language="En">
<BookInfo MediaType="eBook" Language="En" BookProductType="Proceedings" TocLevels="0" NumberingStyle="Unnumbered">
<BookID>3540543988</BookID>
<BookTitle>Advances in Petri Nets 1991</BookTitle>
<BookVolumeNumber>524</BookVolumeNumber>
<BookDOI>10.1007/BFb0019965</BookDOI>
<BookTitleID>27832</BookTitleID>
<BookPrintISBN>978-3-540-54398-5</BookPrintISBN>
<BookElectronicISBN>978-3-540-47600-9</BookElectronicISBN>
<BookChapterCount>16</BookChapterCount>
<BookCopyright>
<CopyrightHolderName>Springer-Verlag</CopyrightHolderName>
<CopyrightYear>1991</CopyrightYear>
</BookCopyright>
<BookSubjectGroup>
<BookSubject Code="I" Type="Primary">Computer Science</BookSubject>
<BookSubject Code="I16013" Priority="1" Type="Secondary">Computation by Abstract Devices</BookSubject>
<BookSubject Code="I16021" Priority="2" Type="Secondary">Algorithm Analysis and Problem Complexity</BookSubject>
<BookSubject Code="I1603X" Priority="3" Type="Secondary">Logics and Meanings of Programs</BookSubject>
<BookSubject Code="I13014" Priority="4" Type="Secondary">Processor Architectures</BookSubject>
<BookSubject Code="I13022" Priority="5" Type="Secondary">Computer Communication Networks</BookSubject>
<BookSubject Code="I14045" Priority="6" Type="Secondary">Operating Systems</BookSubject>
<SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection>
</BookSubjectGroup>
</BookInfo>
<BookHeader>
<EditorGroup>
<Editor>
<EditorName DisplayOrder="Western">
<GivenName>Grzegorz</GivenName>
<FamilyName>Rozenberg</FamilyName>
</EditorName>
</Editor>
</EditorGroup>
</BookHeader>
<Chapter ID="Chap16" Language="En">
<ChapterInfo ChapterType="ReviewPaper" NumberingStyle="Unnumbered" TocLevels="0" ContainsESM="No">
<ChapterID>16</ChapterID>
<ChapterDOI>10.1007/BFb0019981</ChapterDOI>
<ChapterSequenceNumber>16</ChapterSequenceNumber>
<ChapterTitle Language="En">Bibliography of Petri nets 1990</ChapterTitle>
<ChapterFirstPage>317</ChapterFirstPage>
<ChapterLastPage>572</ChapterLastPage>
<ChapterCopyright>
<CopyrightHolderName>Springer-Verlag</CopyrightHolderName>
<CopyrightYear>1991</CopyrightYear>
</ChapterCopyright>
<ChapterHistory>
<OnlineDate>
<Year>2005</Year>
<Month>6</Month>
<Day>11</Day>
</OnlineDate>
</ChapterHistory>
<ChapterGrants Type="Regular">
<MetadataGrant Grant="OpenAccess"></MetadataGrant>
<AbstractGrant Grant="OpenAccess"></AbstractGrant>
<BodyPDFGrant Grant="Restricted"></BodyPDFGrant>
<BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant>
<BibliographyGrant Grant="Restricted"></BibliographyGrant>
<ESMGrant Grant="Restricted"></ESMGrant>
</ChapterGrants>
<ChapterContext>
<SeriesID>558</SeriesID>
<BookID>3540543988</BookID>
<BookTitle>Advances in Petri Nets 1991</BookTitle>
</ChapterContext>
</ChapterInfo>
<ChapterHeader>
<AuthorGroup>
<Author AffiliationIDS="Aff1">
<AuthorName DisplayOrder="Western">
<GivenName>Helmut</GivenName>
<FamilyName>Plünnecke</FamilyName>
</AuthorName>
</Author>
<Author AffiliationIDS="Aff2">
<AuthorName DisplayOrder="Western">
<GivenName>Wolfgang</GivenName>
<FamilyName>Reisig</FamilyName>
</AuthorName>
</Author>
<Affiliation ID="Aff1">
<OrgDivision>Gesellschaft für Mathematik und Datenverarbeitung</OrgDivision>
<OrgName>Institut für Methodische Grundlagen (F1)</OrgName>
<OrgAddress>
<Street>Schloß Birlinghoven</Street>
<Postbox>P.O. Box 1240</Postbox>
<Postcode>D-5205</Postcode>
<City>St. Augustin 1</City>
</OrgAddress>
</Affiliation>
<Affiliation ID="Aff2">
<OrgDivision>Institut für Informatik</OrgDivision>
<OrgName>Technische Universität München</OrgName>
<OrgAddress>
<Postbox>P.O. Box 20 24 20</Postbox>
<Postcode>D-8000</Postcode>
<City>München 20</City>
</OrgAddress>
</Affiliation>
</AuthorGroup>
</ChapterHeader>
<NoBody></NoBody>
</Chapter>
</Book>
</Series>
</Publisher>
</istex:document>
</istex:metadataXml>
<mods version="3.6">
<titleInfo lang="en">
<title>Bibliography of Petri nets 1990</title>
</titleInfo>
<titleInfo type="alternative" contentType="CDATA" lang="en">
<title>Bibliography of Petri nets 1990</title>
</titleInfo>
<name type="personal">
<namePart type="given">Helmut</namePart>
<namePart type="family">Plünnecke</namePart>
<affiliation>Gesellschaft für Mathematik und Datenverarbeitung, Institut für Methodische Grundlagen (F1), Schloß Birlinghoven, P.O. Box 1240, D-5205, St. Augustin 1</affiliation>
<role>
<roleTerm type="text">author</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Wolfgang</namePart>
<namePart type="family">Reisig</namePart>
<affiliation>Institut für Informatik, Technische Universität München, P.O. Box 20 24 20, D-8000, München 20</affiliation>
<role>
<roleTerm type="text">author</roleTerm>
</role>
</name>
<typeOfResource>text</typeOfResource>
<genre type="conference" displayLabel="ReviewPaper"></genre>
<originInfo>
<publisher>Springer Berlin Heidelberg</publisher>
<place>
<placeTerm type="text">Berlin, Heidelberg</placeTerm>
</place>
<dateIssued encoding="w3cdtf">2005-06-11</dateIssued>
<copyrightDate encoding="w3cdtf">1991</copyrightDate>
</originInfo>
<language>
<languageTerm type="code" authority="rfc3066">en</languageTerm>
<languageTerm type="code" authority="iso639-2b">eng</languageTerm>
</language>
<physicalDescription>
<internetMediaType>text/html</internetMediaType>
</physicalDescription>
<relatedItem type="host">
<titleInfo>
<title>Advances in Petri Nets 1991</title>
</titleInfo>
<name type="personal">
<namePart type="given">Grzegorz</namePart>
<namePart type="family">Rozenberg</namePart>
<role>
<roleTerm type="text">editor</roleTerm>
</role>
</name>
<genre type="book-series" displayLabel="Proceedings"></genre>
<originInfo>
<copyrightDate encoding="w3cdtf">1991</copyrightDate>
<issuance>monographic</issuance>
</originInfo>
<subject>
<genre>Book-Subject-Collection</genre>
<topic authority="SpringerSubjectCodes" authorityURI="SUCO11645">Computer Science</topic>
</subject>
<subject>
<genre>Book-Subject-Group</genre>
<topic authority="SpringerSubjectCodes" authorityURI="I">Computer Science</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I16013">Computation by Abstract Devices</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I16021">Algorithm Analysis and Problem Complexity</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I1603X">Logics and Meanings of Programs</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I13014">Processor Architectures</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I13022">Computer Communication Networks</topic>
<topic authority="SpringerSubjectCodes" authorityURI="I14045">Operating Systems</topic>
</subject>
<identifier type="DOI">10.1007/BFb0019965</identifier>
<identifier type="ISBN">978-3-540-54398-5</identifier>
<identifier type="eISBN">978-3-540-47600-9</identifier>
<identifier type="ISSN">0302-9743</identifier>
<identifier type="eISSN">1611-3349</identifier>
<identifier type="BookTitleID">27832</identifier>
<identifier type="BookID">3540543988</identifier>
<identifier type="BookChapterCount">16</identifier>
<identifier type="BookVolumeNumber">524</identifier>
<part>
<date>1991</date>
<detail type="volume">
<number>524</number>
<caption>vol.</caption>
</detail>
<extent unit="pages">
<start>317</start>
<end>572</end>
</extent>
</part>
<recordInfo>
<recordOrigin>Springer-Verlag, 1991</recordOrigin>
</recordInfo>
</relatedItem>
<relatedItem type="series">
<titleInfo>
<title>Lecture Notes in Computer Science</title>
</titleInfo>
<name type="personal">
<namePart type="given">Gerhard</namePart>
<namePart type="family">Goos</namePart>
<role>
<roleTerm type="text">editor</roleTerm>
</role>
</name>
<name type="personal">
<namePart type="given">Juris</namePart>
<namePart type="family">Hartmanis</namePart>
<role>
<roleTerm type="text">editor</roleTerm>
</role>
</name>
<originInfo>
<copyrightDate encoding="w3cdtf">1991</copyrightDate>
<issuance>serial</issuance>
</originInfo>
<identifier type="ISSN">0302-9743</identifier>
<identifier type="eISSN">1611-3349</identifier>
<identifier type="SeriesID">558</identifier>
<recordInfo>
<recordOrigin>Springer-Verlag, 1991</recordOrigin>
</recordInfo>
</relatedItem>
<identifier type="istex">1D979668D24A1BA348FE5653CC93E790B24E0EB2</identifier>
<identifier type="DOI">10.1007/BFb0019981</identifier>
<identifier type="ChapterID">16</identifier>
<identifier type="ChapterID">Chap16</identifier>
<accessCondition type="use and reproduction" contentType="copyright">Springer-Verlag, 1991</accessCondition>
<recordInfo>
<recordContentSource>SPRINGER</recordContentSource>
<recordOrigin>Springer-Verlag, 1991</recordOrigin>
</recordInfo>
</mods>
</metadata>
</istex>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Sarre/explor/MusicSarreV3/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000309 | SxmlIndent | more

Ou

HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 000309 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Sarre
   |area=    MusicSarreV3
   |flux=    Istex
   |étape=   Corpus
   |type=    RBID
   |clé=     ISTEX:1D979668D24A1BA348FE5653CC93E790B24E0EB2
   |texte=   Bibliography of Petri nets 1990
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Sun Jul 15 18:16:09 2018. Site generation: Tue Mar 5 19:21:25 2024