Coverart for item
The Resource Application and Theory of Petri Nets 1997 : 18th International Conference, ICATPN'97 Toulouse, France, June 23-27, 1997 Proceedings, edited by Pierre Azéma, Gianfranco Balbo, (electronic resource)

Application and Theory of Petri Nets 1997 : 18th International Conference, ICATPN'97 Toulouse, France, June 23-27, 1997 Proceedings, edited by Pierre Azéma, Gianfranco Balbo, (electronic resource)

Label
Application and Theory of Petri Nets 1997 : 18th International Conference, ICATPN'97 Toulouse, France, June 23-27, 1997 Proceedings
Title
Application and Theory of Petri Nets 1997
Title remainder
18th International Conference, ICATPN'97 Toulouse, France, June 23-27, 1997 Proceedings
Statement of responsibility
edited by Pierre Azéma, Gianfranco Balbo
Creator
Contributor
Subject
Language
eng
Summary
  • This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997. The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also included are three invited contributions. All relevant topics in the area are addressed. Besides a variety of Petri net classes, workflow management, telecommunication networking, constraint satisfaction, program semantics, concurrency, and temporal logic are among the topics addressed
  • Annotation:
Member of
Is part of
http://library.link/vocab/creatorName
Azéma, Pierre
Dewey number
004.0151
LC call number
QA75.5-76.95
http://library.link/vocab/relatedWorkOrContributorName
  • Balbo, Gianfranco
  • SpringerLink (Online service)
Series statement
Lecture Notes in Computer Science,
Series volume
1248
http://library.link/vocab/subjectName
  • Computer science
  • Computer Communication Networks
  • Operating systems (Computers)
  • Information theory
  • Computational complexity
  • Combinatorics
  • Computer Science
  • Theory of Computation
  • Computer Communication Networks
  • Discrete Mathematics in Computer Science
  • Operating Systems
  • Combinatorics
Summary expansion
This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997.The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also included are three invited contributions. All relevant topics in the area are addressed. Besides a variety of Petri net classes, workflow management, telecommunication networking, constraint satisfaction, program semantics, concurrency, and temporal logic are among the topics addressed
Label
Application and Theory of Petri Nets 1997 : 18th International Conference, ICATPN'97 Toulouse, France, June 23-27, 1997 Proceedings, edited by Pierre Azéma, Gianfranco Balbo, (electronic resource)
Instantiates
Publication
Control code
OCM1bookssj0000321317
Dimensions
unknown
Extent
VIII, 467 ppages
Isbn
9783540691877
Other control number
10.1007/3-540-63139-9
Other physical details
digital.
Specific material designation
remote
System control number
(WaSeSS)ssj0000321317
Label
Application and Theory of Petri Nets 1997 : 18th International Conference, ICATPN'97 Toulouse, France, June 23-27, 1997 Proceedings, edited by Pierre Azéma, Gianfranco Balbo, (electronic resource)
Publication
Control code
OCM1bookssj0000321317
Dimensions
unknown
Extent
VIII, 467 ppages
Isbn
9783540691877
Other control number
10.1007/3-540-63139-9
Other physical details
digital.
Specific material designation
remote
System control number
(WaSeSS)ssj0000321317

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...