skip to main content
10.1145/1082473.1082775acmconferencesArticle/Chapter ViewAbstractPublication PagesaamasConference Proceedingsconference-collections
Article

Validation of an agent based system using Petri Nets

Published: 25 July 2005 Publication History

Abstract

Hsim is an agent-based simulator used to model the interactions of macromolecules in a 3D virtual cell surrounded by a membrane. This simulator is not dedicated to a specific model of macromolecular interactions but allows the modelling of any kind of interactions, described using a modelling language, written by the user of the simulator and representing reactions between the various molecules, including the formation of complexes.Our aim was to verify the validity of the user's model and to exhibit properties of the model without needing to run a simulation. To this end, we construct a Petri Net to determine all the possible macromolecular assemblies and use the Petri Net algebra to verify chosen properties.

Reference

[1]
P. Amar, G. Bernot, and V. Norris. Hsim: a simulation programme to study large assemblies of proteins. Journal of Biological Physics and Chemistry, 4:79--84, 2004.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
AAMAS '05: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
July 2005
1407 pages
ISBN:1595930930
DOI:10.1145/1082473
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 July 2005

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. agent-based simulator
  2. petri net

Qualifiers

  • Article

Conference

AAMAS05
Sponsor:

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 231
    Total Downloads
  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 22 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media