Practical Use of High-level Petri Nets

This booklet contains the proceedings of the Workshop on Practical Use of High-level Petri Nets, June 27, 2000. The workshop is part of the 21st International Conference on Application and Theory of Petri Nets organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The workshop papers are available in electronic form via the web pages: http://www.daimi.au.dk/pn2000/proceedings

[1]  Gerard J. Holzmann,et al.  On the Verification of Temporal Properties , 1993, PSTV.

[2]  Mieke Massink,et al.  Theoretical and Practical Aspects of SPIN Model Checking , 1999, Lecture Notes in Computer Science.

[3]  Masaru Tomita,et al.  E-CELL: software environment for whole-cell simulation , 1999, Bioinform..

[4]  Lixia Zhang,et al.  Resource ReSerVation Protocol (RSVP) - Version 1 Message Processing Rules , 1997, RFC.

[5]  David L. Black,et al.  An Architecture for Differentiated Service , 1998 .

[6]  Jaco Geldenhuys,et al.  Runtime Efficient State Compaction in SPIN , 1999, SPIN.

[7]  Thomas Lengauer,et al.  Pathway analysis in metabolic databases via differetial metabolic display (DMD) , 2000, German Conference on Bioinformatics.

[8]  Marko Mäkelä,et al.  Maria: Modular Reachability Analyser for Algebraic System Nets , 2002, ICATPN.

[9]  Shishir Gundavaram,et al.  CGI Programming on the World Wide Web , 1996 .

[10]  Kurt Lautenbach,et al.  The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets , 1979, Semantics of Concurrent Computation.

[11]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[12]  Raj Yavatkar,et al.  Inside the Internet's Resource reSerVation Protocol: Foundations for Quality of Service , 1999 .

[13]  H Matsuno,et al.  Hybrid Petri net representation of gene regulatory network. , 1999, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[14]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[15]  B O Palsson,et al.  A Macintosh software package for simulation of human red blood cell metabolism. , 1992, Computer methods and programs in biomedicine.

[16]  Ekkart Kindler,et al.  Flexibility in Algebraic Nets , 1998, ICATPN.

[17]  Deborah Estrin,et al.  RSVP: a new resource ReSerVation Protocol , 1993 .

[18]  V. N. Reddy,et al.  Qualitative analysis of biochemical reaction systems , 1996, Comput. Biol. Medicine.

[19]  Scott Shenker,et al.  Integrated Services in the Internet Architecture : an Overview Status of this Memo , 1994 .

[20]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[21]  Susumu Goto,et al.  KEGG: Kyoto Encyclopedia of Genes and Genomes , 2000, Nucleic Acids Res..

[22]  Janne Halme,et al.  PROD Reference Manual , 1995 .

[23]  Teemu Tynjälä,et al.  Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol , 2000, ICATPN.

[24]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[25]  E I Canela,et al.  Computer simulation of purine metabolism. , 1984, European journal of biochemistry.

[26]  Lars Michael Kristensen,et al.  The practitioner’s guide to coloured Petri nets , 1998, International Journal on Software Tools for Technology Transfer.

[27]  Lawrence C. Paulson,et al.  ML for the working programmer (2. ed.) , 1996 .

[28]  Amos Bairoch,et al.  The ENZYME data bank in 1999 , 1999, Nucleic Acids Res..

[29]  Claude E. Shannon,et al.  The Mathematical Theory of Communication , 1950 .

[30]  Antti Valmari,et al.  The State Explosion Problem , 1996, Petri Nets.

[31]  Hartmann J. Genrich,et al.  Predicate/Transition Nets , 1986, Advances in Petri Nets.

[32]  Lixia Zhang,et al.  Resource ReSerVation Protocol (RSVP) - Version 1 Functional Specification , 1997, RFC.