Application and theory of Petri nets 1999 : 20th International Conference, ICATPN 99, Williamsburg, Virginia, USA, June 21 25, 1999 : proceedings
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colecção: | Lecture notes in computer science
1639 |
| Assuntos: | |
| Acesso em linha: | 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 1999, 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999, proceedings, Susanna Donatelli, Jetty Kleijn (eds.), 1999, Berlin, Springer, 1 vol. (VIII-423 p.), Lecture notes in computer science, 3-540-66132-8 • Application and Theory of Petri Nets 1999, Texte imprimé, 9783662212103 |
Sumário:
- Design, Simulation, and Implementation of Hybrid Systems
- Efficient Reachability Set Generation and Storage Using Decision Diagrams
- Structural Methods to Improve the Symbolic Analysis of Petri Nets
- Stubborn Sets for Standard Properties
- Petri Net Based Behavioural Specification of CORBA Systems
- Symmetric Communication between Coloured Petri Net Simulations and Java-Processes
- Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems
- Autonomous Continuous P/T Systems
- An Approach to the Analysis of Interworking Traders
- Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets
- SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation
- Monitoring Discrete Event Systems Using Petri Net Embeddings
- Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets
- Theoretical Aspects of Recursive Petri Nets
- Petri Net Theory Problems Solved by Commutative Algebra
- Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem
- Net Theory and Workflow Models
- Concurrent Implementation of Asynchronous Transition Systems
- Trace Channel Nets
- Reasoning about Algebraic Generalisation of Petri Nets
- The Box Algebra ; A Model of Nets and Process Expressions
- Detection of Illegal Behaviours Based on Unfoldings
- Five Classes of Invariant-Preserving Transformations on Colored Petri Nets
- Verifying Intuition ILF Checks DAWN Proofs.