000 04143nam a22006135i 4500
001 978-3-540-44988-1
003 DE-He213
005 20240423132514.0
007 cr nn 008mamaa
008 121227s2000 gw | s |||| 0|eng d
020 _a9783540449881
_9978-3-540-44988-1
024 7 _a10.1007/3-540-44988-4
_2doi
050 4 _aQA76.9.S88
072 7 _aUYD
_2bicssc
072 7 _aCOM011000
_2bisacsh
072 7 _aUYD
_2thema
082 0 4 _a004.2
_223
245 1 0 _aApplication and Theory of Petri Nets 2000
_h[electronic resource] :
_b21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings /
_cedited by Mogens Nielsen, Dan Simpson.
250 _a1st ed. 2000.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2000.
300 _aXII, 492 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v1825
505 0 _aInvited 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.
650 0 _aComputer systems.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aComputer networks .
650 0 _aComputer science
_xMathematics.
650 0 _aDiscrete mathematics.
650 1 4 _aComputer System Implementation.
650 2 4 _aTheory of Computation.
650 2 4 _aSoftware Engineering.
650 2 4 _aComputer Communication Networks.
650 2 4 _aDiscrete Mathematics in Computer Science.
700 1 _aNielsen, Mogens.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSimpson, Dan.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540676935
776 0 8 _iPrinted edition:
_z9783662167267
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v1825
856 4 0 _uhttps://doi.org/10.1007/3-540-44988-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c188498
_d188498