E-Book, Englisch, Band 1825, 492 Seiten, eBook
Nielsen / Simpson Application and Theory of Petri Nets 2000
Erscheinungsjahr 2003
ISBN: 978-3-540-44988-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings
E-Book, Englisch, Band 1825, 492 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-44988-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
