FEEDBACK Smiley face
Application and Theory of Petri Nets 2000 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings / [electronic resource] : edited by Mogens Nielsen, Dan Simpson. - XII, 492 p. online resource. - Lecture Notes in Computer Science, 1825 0302-9743 ; . - Lecture Notes in Computer Science, 1825 .

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.

9783540449881

10.1007/3-540-44988-4 doi


Computer science.
Computer communication systems.
Architecture, Computer.
Software engineering.
Computers.
Computer science--Mathematics.
Computer Science.
Computer System Implementation.
Theory of Computation.
Software Engineering.
Computer Communication Networks.
Discrete Mathematics in Computer Science.

QA76.9.A73 QA76.9.S88

003.3

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in