FEEDBACK Smiley face
Normal view MARC view ISBD view

Application and Theory of Petri Nets 2000 [electronic resource] :21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings /

Contributor(s): Nielsen, Mogens [editor.] | Simpson, Dan [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 1825Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000.Description: XII, 492 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540449881.Subject(s): 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 ScienceOnline resources: Click here to access online
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.
In: Springer eBooks
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

There are no comments for this item.

Log in to your account to post a comment.

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