Application and Theory of Petri Nets 2000 [electronic resource] : 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings / edited by Mogens Nielsen, Dan Simpson.
Material type: TextSeries: Lecture Notes in Computer Science ; 1825Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000Description: XII, 492 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540449881Subject(s): Computer science | Computer Communication Networks | Software engineering | Information theory | Computational complexity | Computer Science | Theory of Computation | Software Engineering | Computer Communication Networks | Discrete Mathematics in Computer ScienceAdditional physical formats: Printed edition:: No titleDDC classification: 004.0151 LOC classification: QA75.5-76.95Online resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK5107 |
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 on this title.