Workshop on the Definition , Implementation and Application of a Standard Interchange Format for Petri Nets

Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. The original definition of SANs has been used as a modeling formalism in several well-known and powerful modeling tools. SANs have been used to evaluate a wide range of systems, mainly for dependability and performability evaluation purposes. SAN models have not been considered in the definition of the Petri net markup language (PNML). Because of the existence of some different primitives and concepts, the current definition of PNML does not cover these models. In this paper, after a brief introduction to SANs, we will introduce a PNML-based interchange format for these models called SAN markup language (SANML). We will also discuss on the possibility of the integration of SANs into PNML.

[1]  C. Petri.  Kommunikation mit Automaten , 1962 .

[2]  Wil M. P. van der Aalst,et al.  Applications and Theory of Petri Nets , 1983, Informatik-Fachberichte.

[3]  Raymond R. Devillers.  The semantics of capacities in P/T nets , 1988, European Workshop on Applications and Theory in Petri Nets.

[4]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[5]  Wilfried Brauer,et al.  A survey of behaviour and equivalence preserving refinements of Petri nets , 1991, Applications and Theory of Petri Nets.

[6]  Rainer Fehling,et al.  A Concept of Hierarchical Petri Nets with Building Blocks , 1991, Applications and Theory of Petri Nets.

[7]  John A. N. Lee,et al.  A methodology for constructing predicate transition net specifications , 1991, Softw. Pract. Exp..

[8]  Richard Goldman,et al.  The Electronic Design Interchange Format EDIF: present and future , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

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

[10]  Simon Peck,et al.  Practice of Petri Nets in Manufacturing , 1993 .

[11]  Søren Christensen,et al.  Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs , 1992, Application and Theory of Petri Nets.

[12]  Peter Buchholz,et al.  Hierarchical High Level Petri Nets for Complex System Analysis , 1994, Application and Theory of Petri Nets.

[13]  Søren Christensen,et al.  Coloured Petri Nets Extended with Channels for Synchronous Communication , 1992, Application and Theory of Petri Nets.

[14]  Pericles Loucopoulos.  Entity-Relationship Approach — ER '94 Business Modelling and Re-Engineering , 1994, Lecture Notes in Computer Science.

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

[16]  W.M.P. van der Aalst,et al.  Structural characterizations of sound workflow nets , 1996 .

[17]  van der Wmp Wil Aalst,et al.  A Petri-net-based Tool to analyze workflows , 1997 .

[18]  M N Liebman,et al.  Qualitative modeling of normal blood coagulation and its pathological states using stochastic activity networks. , 1997, International journal of biological macromolecules.

[19]  Søren Christensen,et al.  Parametrisation of Coloured Petri Nets , 1997 .

[20]  A. Arkin,et al.  Stochastic mechanisms in gene expression. , 1997, Proceedings of the National Academy of Sciences of the United States of America.

[21]  Volker Gruhn,et al.  Workflow management based on process model repositories , 1998, Proceedings of the 20th International Conference on Software Engineering.

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

[23]  Stanley M. Sutton,et al.  N degrees of separation: multi-dimensional separation of concerns , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[24]  Arvind Malhotra,et al.  Xml schema part 2: datatypes , 1999 .

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

[26]  Jonathan Billington,et al.  Application of Petri Nets to Communication Networks: Advances in Petri Nets , 1999 .

[27]  Matthias Jarke,et al.  Repository Support for Multi-Perspective Requirements Engineering , 1999, Inf. Syst..

[28]  Andy Schürr,et al.  GXL: toward a standard exchange format , 2000, Proceedings Seventh Working Conference on Reverse Engineering.

[29]  Barbara M. Bakker,et al.  Can yeast glycolysis be understood in terms of in vitro kinetics of the constituent enzymes? Testing biochemistry. , 2000, European journal of biochemistry.

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

[31]  Wolfgang Reisig,et al.  Inter-operability of Workflow Applications: Local Criteria for Global Soundness , 2000, Business Process Management.

[32]  Laure Petrucci,et al.  Modular Analysis of Petri Nets , 2000, Comput. J..

[33]  Hartmann J. Genrich,et al.  Executable Petri net models for the analysis of metabolic pathways , 2001, International Journal on Software Tools for Technology Transfer.

[34]  J. R. Scotti,et al.  Available From , 1973 .

[35]  W. Bentley,et al.  Stochastic kinetic analysis of the Escherichia coli stress circuit using sigma(32)-targeted antisense. , 2001, Biotechnology and bioengineering.

[36]  Monika Heiner,et al.  Analysis and Simulation of Steady States in Metabolic Pathways with Petri Nets , 2001 .

[37]  Gregor Kiczales,et al.  Aspect-oriented programming , 2001, ESEC/FSE-9.

[38]  Ekkart Kindler,et al.  The Petri Net Kernel An infrastructure for building Petri net tools , 2001, International Journal on Software Tools for Technology Transfer.

[39]  Tatsuhiko Tsunoda,et al.  Lag Analysis of Genetic Networks in the Cell Cycle of Budding Yeast , 2001 .

[40]  Ekkart Kindler,et al.  A Universal Module Concept for Petri Nets - an implementation-oriented approach , 2001 .

[41]  Ekkart Kindler,et al.  A universal module concept for Petri nets , 2001 .

[42]  William H. Sanders,et al.  The Mobius modeling tool , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

[43]  Julia Padberg,et al.  Petri Net Modules , 2002, Trans. SDPS.

[44]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[45]  Susumu Goto,et al.  The KEGG databases at GenomeNet , 2002, Nucleic Acids Res..

[46]  Luís Gomes,et al.  Modifying Petri net models by means of crosscutting operations , 2003, Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..

[47]  Masao Nagasaki,et al.  Recreating Biopathway Databases towards Simulation , 2003, CMSB.

[48]  Ekkart Kindler,et al.  The Petri Net Markup Language , 2003, Petri Net Technology for Communication-Based Systems.

[49]  Michael Westergaard,et al.  CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets , 2003, ICATPN.

[50]  Lucy Shapiro,et al.  A Bacterial Cell-Cycle Regulatory Network Operating in Time and Space , 2003, Science.

[51]  Laure Petrucci,et al.  The Petri Net Markup Language: Concepts, Technology, and Tools , 2003, ICATPN.

[52]  Hiroaki Kitano,et al.  The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models , 2003, Bioinform..

[53]  Luis Gomes,et al.  On structuring mechanisms for Petri nets based system design , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).

[54]  Rdj Reinier Post,et al.  EPNML 1.1 : an XML format for Petri nets , 2004 .

[55]  Anil Wipat,et al.  Applying Petri Nets to Systems Biology using XML Technologies , 2004 .

[56]  B Marshall,et al.  Gene Ontology Consortium: The Gene Ontology (GO) database and informatics resource , 2004, Nucleic Acids Res..

[57]  L. Gomes,et al.  Net model composition and modification by net operations: a pragmatic approach , 2004, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004.

[58]  Lou Somers,et al.  Yet another smart process editor , 2005 .