Application and theory of Petri nets 1995 : 16th International Conference, Turin, Italy, June 26 30, 1995 : proceedings
This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995 The 26 revised refereed papers presented were selected from 73 submissions from 22 countries; in addition there are abstracts or full papers of the t...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
935 |
| Soggetti: | |
| Accesso online: | 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, 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, proceedings, Giorgio De Michelis, Michel Diaz (eds.), Berlin, Springer, 1995, 1 vol. (VIII-509 p.), Lecture notes in computer science, 3-540-60029-9 • Application and Theory of Petri Nets 1995, Texte imprimé, 9783662199947 |
| LEADER | 04977nam a22004697a 4500 | ||
|---|---|---|---|
| 001 | 945204 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155218131 | ||
| 020 | |a 9783540494089 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 001.64 | ||
| 111 | 2 | |a International conference on pplication and theory of Petri nets |n (16 |d :1995 |c :Turin, Italie). | |
| 245 | 1 | 0 | |a Application and theory of Petri nets 1995 : |b 16th International Conference, Turin, Italy, June 26 30, 1995 : proceedings |c [edited by] Giorgio Michelis, Michel Diaz. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 935 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a A refined view of the box algebra -- Distributed algorithms and causally consistent observations (abstract) -- Petri Nets for information systems modelling -- On liveness in Extended Non Self-Controlling Nets -- An algebraic semantics for hierarchical P/T nets -- A Petri net based environment for the design of event-driven interfaces -- An incremental specification of a Hydroelectric Power Plant Control System using a class of modular algebraic nets -- A class of composable high level Petri nets -- An efficient algorithm for the computation of stubborn sets of well formed Petri Nets -- CAB: An environment for developing concurrent application -- A notion of equivalence for stochastic Petri nets -- Parallel state space exploration for GSPN models -- Modular state space analysis of coloured Petri Nets -- Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning -- Symbolic reachability graph and partial symmetries -- Causal behaviours and nets -- From Coloured Petri Nets to Object Petri Nets -- Handles and reachability analysis of free choice nets -- Performance bounds for stochastic timed Petri nets -- An inspection model with minimal and major maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets -- Subclasses of recognizable trace languages -- Verification of asynchronous circuits by BDD-based model checking of Petri nets -- Parameterized reachability trees for algebraic Petri nets -- Efficient simulation of Thor nets -- Functional equivalences of Petri nets -- Hierarchical Time Stream Petri Net: A model for hypermedia systems -- Markov Regenerative Stochastic Petri Nets with age type general transitions -- Timed processes of Timed Petri Nets. | |
| 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 book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995 The 26 revised refereed papers presented were selected from 73 submissions from 22 countries; in addition there are abstracts or full papers of the three invited talks. All theoretical and applicational aspects are addressed by the contributors coming from industry and academia. This volume representatively documents the progress achieved in this application-oriented area of research and development since the predecessor conference held one year earlier. | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Petri, Réseaux de | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Logiciels | ||
| 650 | |a Analyse combinatoire | ||
| 650 | |a Microprocesseurs | ||
| 650 | |a Structure logique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a De Michelis, Giorgio, |d 1949 ?- |4 pbd | |
| 700 | 1 | |a Diaz, Michel, |d 1945- |4 pbd | |
| 776 | 0 | |0 02408879X |t Application and theory of Petri nets, 1995 |o 16th International Conference, Turin, Italy, June 26-30, 1995 |o proceedings |f Giorgio De Michelis, Michel Diaz (eds.) |c Berlin |n Springer |d 1995 |p 1 vol. (VIII-509 p.) |s Lecture notes in computer science |z 3-540-60029-9 | |
| 776 | 0 | |t Application and Theory of Petri Nets 1995 |b Texte imprimé |z 9783662199947 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-60029-9 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-QGS3X4T8-R |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747912777 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-60029-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750925566 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-60029-9 |z Accès INSA CVL | |
| 997 | |0 945204 |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/ | ||