Application and theory of Petri nets 1994 : 15th International Conference, Zaragoza, Spain, June 20 24, 1994 : proceedings
This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 1994. The annual Petri net conferences are usually visited by some 150 - 200 Petri net experts coming from academia and industry all over the world. The...
Gardado en:
| Autor Corporativo: | |
|---|---|
| Outros autores: | |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
815 |
| Sujets: | |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Application and theory of Petri nets, 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, proceedings, Robert Valette (ed.), Berlin, Springer-Verlag, 1994, 1 vol. (ix-587 p.), Lecture notes in computer science, 3-540-58152-9 • Application and Theory of Petri Nets 1994, Texte imprimé, 9783662172957 |
| LEADER | 05017nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944306 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155183249 | ||
| 020 | |a 9783540484622 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 511.3 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on Applications and Theory of Petri Nets |n (15th |d :1994 |c :Zaragoza, Spain). | |
| 245 | 1 | 0 | |a Application and theory of Petri nets 1994 : |b 15th International Conference, Zaragoza, Spain, June 20 24, 1994 : proceedings |c [edited by] Robert Valette. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 815 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Automatic verification of finite-state concurrent systems -- The application of Petri nets to the modeling, analysis and control of intelligent urban traffic networks -- On the model of computation of place/transition Petri nets -- B-W analysis: A backward reachability analysis for diagnostic problem solving suitable to parallel implementation -- Probabilistic validation of a Remote Procedure Call protocol -- Occurrence graphs for Interval Timed Coloured Nets -- Implementation of weighted place/transition nets based on Linear Enabling Functions -- Hierarchical High Level Petri Nets for complex system analysis -- Modeling symmetric computer architectures by SWNs -- Coloured Petri Nets extended with channels for synchronous communication -- Petri nets with marking-dependent arc cardinality: Properties and analysis -- New structural invariants for Petri nets analysis -- Time Stream Petri Nets a model for timed multimedia information -- A term representation of P/T systems -- Superposed Generalized Stochastic Petri Nets: Definition and efficient solution -- Verification of recipe-based control procedures by means of predicate/transition nets -- Towards comprehensive support for the dynamic analysis of Petri net based models -- Partial order semantics of Box expressions -- A general systematic approach to arc extensions for coloured Petri Nets -- Liveness in bounded Petri nets which are covered by T-invariants -- Modelling the work flow of a nuclear waste management program -- Data structures and algorithms for extended state space and structural level reduction of the GSPN model -- Petri net analysis using boolean manipulation -- Modelling of pilot behaviour using petri nets -- Simulation and analysis of a document storage system -- Cooperative Nets -- Well-formedness of Equal Conflict systems -- Symbolic, symmetry, and stubborn set searches -- Compositional analysis with place-bordered subnets -- On combining the stubborn set method with the sleep set method -- OR causality: Modelling and hardware implementation. | |
| 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 This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 1994. The annual Petri net conferences are usually visited by some 150 - 200 Petri net experts coming from academia and industry all over the world. The 28 full papers were selected out of in total 85 submissions from 18 countries. Together with the 3 invited contributions, these papers give a state-of-the-art report on all relevant aspects of Petri nets. | ||
| 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 | ||
| 700 | 1 | |a Valette, Robert, |d 1945- |4 pbd | |
| 776 | 0 | |0 019455577 |t Application and theory of Petri nets, 1994 |o 15th International Conference, Zaragoza, Spain, June 20-24, 1994 |o proceedings |f Robert Valette (ed.) |c Berlin |n Springer-Verlag |d 1994 |p 1 vol. (ix-587 p.) |s Lecture notes in computer science |z 3-540-58152-9 | |
| 776 | 0 | |t Application and Theory of Petri Nets 1994 |b Texte imprimé |z 9783662172957 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-58152-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-6RBZ5MQJ-1 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747920915 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-58152-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750933356 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-58152-9 |z Accès INSA CVL | |
| 997 | |0 944306 |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/ | ||