Applications and Theory of Petri Nets 2001 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings
Heftet /
2001
/ Engelsk
Product details
ISBN
9783540422525
Published
2001-06-13
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Height
235 mm
Width
155 mm
Age
Research, U, P, 05, 06
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
12
This book constitutes the refereed proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN 2001, held in Newcastle upon Tyne, UK in June 2001. The 19 revised full papers presented together with three invited papers were carefully reviewed and selected from 48 submissions. All current issues on research and development of Petri nets are addressed, in particular timed, stochastic, colored, symmetrical, and high-level Petri nets; formal verification, model checking, embedded systems, real-time systems, dependable computing, and state spaces.
Read more
This volume contains the proceedings of the 22nd International Conference on Application and Theory of Petri Nets.
Springer Book Archives
Springer Book Archives
Includes supplementary material: sn.pub/extras
GPSR Compliance
The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this.
If you have any concerns about our products you can contact us on ProductSafety@springernature.com.
In case Publisher is established outside the EU, the EU authorized representative is:
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, Germany
ProductSafety@springernature.com
Read more
Product details
ISBN
9783540422525
Published
2001-06-13
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Height
235 mm
Width
155 mm
Age
Research, U, P, 05, 06
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
12