Cover Image
Read Now

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

Bibliographic Details
Other Authors: Nielsen, Mogens (Editor), Simpson, Dan (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2000, 2000
Edition:1st ed. 2000
Series:Lecture Notes in Computer Science
Subjects:
Computer Communication Networks
Computer Systems
Software Engineering
Computer Science
Computer Science / Mathematics
Computer System Implementation
Discrete Mathematics In Computer Science
Computer Networks 
Discrete Mathematics
Theory Of Computation
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
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 APetri-Net-Based Workflow Diagnosis Tool

Similar Items