Application and Theory of Petri Nets 2000 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2000.
|
Έκδοση: | 1st ed. 2000. |
Σειρά: | Lecture Notes in Computer Science,
1825 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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 A Petri-Net-Based Workflow Diagnosis Tool.