Application and theory of Petri nets 1993 : 14th International Conference, Chicago, Illinois, USA, June 21 25, 1993 : proceedings
This volume contains the proceedings of the 14th International Conference onApplication and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 150-200 participants, one t...
Guardat en:
| Autor principal: | |
|---|---|
| Autor corporatiu: | |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
691 |
| Matèries: | |
| Accés en línia: | 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, 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, proceedings, Marco Ajmone Marsan, ed, Berlin, Springer-Verlag, 1993, 1 vol. (ix, 591 p.), Lecture notes in computer science, 3-540-56863-8 • Application and Theory of Petri Nets 1993, Texte imprimé, 9783662185889 |
Taula de continguts:
- Modeling and enactment of workflow systems
- Interleaving functional and performance structural analysis of net models
- FSPNs: Fluid stochastic Petri nets
- Taking advantages of temporal redundancy in High Level Petri Nets implementations
- A subset of Lotos with the computational power of Place/Transition-nets
- An efficient algorithm for finding structural deadlocks in colored Petri nets
- Synthesis of net systems
- Hierarchies in colored GSPNs
- Variable reasoning and analysis about uncertainty with fuzzy Petri nets
- Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency
- Transient analysis of deterministic and stochastic Petri nets
- Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs
- Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems
- Shortest paths in reachability graphs
- Construction of S-invariants and S-components for refined Petri boxes
- Compositional liveness properties of EN-systems
- Analysis of place/transition nets with timed arcs and its application to batch process control
- On well-formed nets and optimizations in enabling tests
- Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net
- Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model
- Marking optimization of stochastic timed event graphs
- A client-server protocol for the composition of Petri nets
- Analysis of dynamic load balancing strategies using a combination of stochastic petri nets and queueing networks
- Liveness and home states in equal conflict systems
- Bridging the gap between place- and Floyd-invariants with applications to preemptive scheduling
- Interval timed coloured petri nets and their analysis
- Integration of specification for modeling and specification for system design
- New priority-lists for scheduling in timed Petri nets
- A unified approach for reasoning about conflict-free Petri nets
- A colored Petri Net model for a naval command and control system
- Petri Net based specifications of services in an Intelligent Network-Experiences gained from a test case application
- On net modeling of industrial size concurrent systems
- Analysis of the TMS320C40 communication channels using timed Petri Nets
- Protocol optimization for a packet-switched bus in case of burst traffic by means of GSPN
- Petri Nets modeling in pipelined microprocessor design.