Application and theory of Petri Nets 2000 : ; proceedings 21st international conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000
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
1825 |
| 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: | • Aplication and theory of Petri Nets 2000, 21st international conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Mogens Nielsen, Dan Simpson (eds.), Berlin, Springer, 2000, 1 vol. (xi, 484 p.), Lecture notes in computer science, 3-540-67693-7 • Application and Theory of Petri Nets 2000, Texte imprimé, 9783662167267 |
Sommario:
- Invited Papers
- Hardware and Petri Nets Application to Asynchronous Circuit Design
- Region Based Synthesis of P/T-Nets and Its Potential Applications
- UML A Universal Modeling Language?
- Verification of Timed and Hybrid Systems
- Full Papers
- Parametric Stochastic Well-Formed Nets and Compositional Modelling
- Reducing k-Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets
- Executing Transactions in Zero-Safe Nets
- Efficient Symbolic State-Space Construction for Asynchronous Systems
- Designing a LTL Model-Checker Based on Unfolding Graphs
- Process Semantics of Petri Nets over Partial Algebra
- User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets
- Decidability of Properties of Timed-Arc Petri Nets
- Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets
- Liveness Verification of Discrete Event Systems Modeled by n-Safe Ordinary Petri Nets
- Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol
- Process Semantics of P/T-Nets with Inhibitor Arcs
- Improved Question-Guided Stubborn Set Methods for State Properties
- A Compositional Model of Time Petri Nets
- Composing Abstractions of Coloured Petri Nets
- Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets
- Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System
- Pre- and Post-agglomerations for LTL Model Checking
- Bisimulation and the Reduction of Petri Nets
- Efficiency of Asynchronous Systems That Communicate Asynchronously
- Tools Presentations
- CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers
- ExSpect 6.4 An Executable Specification Tool for Hierarchical Colored Petri Nets
- LoLA A Low Level Analyser
- Woflan 2.0 APetri-Net-Based Workflow Diagnosis Tool.