Application and Theory of Petri Nets 2000 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings /

Application and Theory of Petri Nets 2000 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Nielsen, Mogens (Editor, http://id.loc.gov/vocabulary/relators/edt), Simpson, Dan (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Edition:1st ed. 2000.
Series:Lecture Notes in Computer Science, 1825
Subjects:
Architecture, Computer.
Computers.
Software engineering.
Computer communication systems.
Computer science-Mathematics.
Computer System Implementation.
Theory of Computation.
Software Engineering.
Computer Communication Networks.
Discrete Mathematics in Computer Science.
Online Access:Full Text via HEAL-Link
Table of Contents:
  • 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.

Similar Items