Jump to content United States-English
HP.com Home Products and Services Support and Drivers Solutions How to Buy
» Contact HP

hp.com home

Technical Reports

printable version

HP Labs

» Research
» News and events
» Technical reports
» About HP Labs
» Careers @ HP Labs
» People
» Worldwide sites
» Downloads
Content starts here

  Click here for full text: PDF

Compiling Demos 2000 into Petri Nets

Tofts, Chris


Keyword(s): simulation; petri nets; compilation

Abstract: System models are often studied through the use of computer simulation. This approach can be very attractive as it provides a simple dynamic view of the system under study, which can be used for debugging, and performance data can be gathered by repeated experiment. However, simulation has the limitations that all experiments do, the cost of each data point, potential to avoid particular cases and difficulty in establishing precisely what has been measured. A dual approach of using a simulation style to present and debug programs followed by a formal mathematical analysis would have the benefits of both approaches. We demonstrate how a large fragment of a process oriented simulation language DEMOS can be translated into Petri Nets. This translation has benefits in that it permits the simular access to the analysis tools for Petri Nets (we demonstrate automated translation both to the Sharpe and SPNP formats) and provides a succinct formal account of DEMOS. The current compiler is abstracted from the underlying Petri Net representation syntax and consequently can be rapidly retargeted at an arbitrary Petri Net representation. Given the ratio between the Petri Net representation and the DEMOS shown herein it may well be the case that the later is a significantly better approach to introducing Petri Net analysis.

25 Pages

Back to Index

»Technical Reports

» 2009
» 2008
» 2007
» 2006
» 2005
» 2004
» 2003
» 2002
» 2001
» 2000
» 1990 - 1999

Heritage Technical Reports

» Compaq & DEC Technical Reports
» Tandem Technical Reports
Privacy statement Using this site means you accept its terms Feedback to HP Labs
© 2009 Hewlett-Packard Development Company, L.P.