Advances in Petri nets 1992
The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and theory of concurrent systems to take a...
Sábháilte in:
| Príomhchruthaitheoir: | |
|---|---|
| Formáid: | Livre numérique |
| Teanga: | Anglais |
| Foilsithe / Cruthaithe: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sraith: | Lecture notes in computer science
609 |
| Ábhair: | |
| Rochtain ar líne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nóta: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Advances in Petri Nets, 1992, G. Rozenberg (ed.), Berlin, Springer-Verlag, 1992, 1 vol. (VIII, 472 p.), Lecture notes in computer science, 3-540-55610-9 • Advances in Petri Nets 1992, Texte imprimé, 9783662165003 |
| LEADER | 04129nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 944379 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155186094 | ||
| 020 | |a 9783540472582 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Rozenberg, Grzegorz, |d 1942- | |
| 245 | 1 | 0 | |a Advances in Petri nets 1992 |c [edited by] Grzegorz Rozenberg. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 609 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Esprit basic research action 3148 DEMON (Design methods based on nets) Aims, scope and achievements -- The box calculus: A new causal algebra with multi-label communication -- Modular functional modelling of petri nets with individual tokens -- Interleaving semantics and action refinement with atomic choice -- Maximality preservation and the ST-idea for action refinements -- A fifo-net model for processes with asynchronous communication -- A basic-net algebra for program semantics and its application to occam -- The effect of Vector synchronization: Residue and loss -- Modelling systems with dynamic priorities -- On distributed languages and models for concurrency -- Partial words versus processes: A short comparison -- A survey of basic net models and modular net classes -- Structural techniques and performance bounds of stochastic Petri net models -- A survey of recognizable languages of infinite traces -- A survey of equivalence notions for net based systems. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and theory of concurrent systems to take a closer look at Petri nets and then join the group of researchers working in this fascinating and challenging area. The ESPRIT Basic Research Action DEMON (DEsign Methods based On Nets) has been a focus of developments withinthe Petri net community for the last three years. The papers presented in this special volume have been selected from papers submitted by participants in DEMON. The papers have been refereed and appear in revised form. The volume contains technical contributions giving insights into a number of major achievements of the DEMON project. It also contains four survey papers covering important research areas. The volume begins witha description of DEMON given by its coordinator E. Best. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Systèmes d'exploitation (ordinateurs) | ||
| 650 | |a Petri, Réseaux de | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Microprocesseurs | ||
| 650 | |a Actes de congrès | ||
| 776 | 0 | |0 014475545 |t Advances in Petri Nets, 1992 |f G. Rozenberg (ed.) |c Berlin |n Springer-Verlag |d 1992 |p 1 vol. (VIII, 472 p.) |s Lecture notes in computer science |z 3-540-55610-9 | |
| 776 | 0 | |t Advances in Petri Nets 1992 |b Texte imprimé |z 9783662165003 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-55610-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-765K9CM6-6 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747920176 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-55610-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750932678 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-55610-9 |z Accès INSA CVL | |
| 997 | |0 944379 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||