Abstract
A major problem in modelling and subsequent simulation of process-oriented systems (ProC/B models), is the functional correctness of the model. Therefore a model should be first analysed for its functional correctness before it is analysed by simulation. Petri nets are well suited for model based and state based functional analysis, but are often not adequate or not used for the specification of process models. We present in this paper a transformer for an automatic mapping from ProC/B models onto PNs. The resulting PN-models can be analysed with PN-algorithms and the results from the PN-analysis can be interpreted at the ProC/B level.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
F. Bause, H. Beilner, M. Fischer, P. Kemper, and M. Völker. The Proc/B Toolset for the Modelling and Analysis of Process Chains. In T. Field, P. G. Harrison, J. Bradley, U. Harder (eds.) Computer Performance Evaluation Modelling Techniques and Tools (Proc. Performance TOOLS 2002), Springer, LNCS 2324:51–70, 2002.
P. Buchholz, M. Fischer, P. Kemper, and C. Tepper. Modeling checking of CTMCs and Discrete Event Simulation integrated into the APNN Toolbox. In F. Bause (ed): Tools of the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems, 2003.
P. Buchholz and P. Kemper. Efficient computation and representation of large reachability sets for composed automata. Discrete Event Dynamic Systems Theory and Applications 12(3), pages 265–286, 2002.
S. Donatelli and J. Franceschinis. The PSR Methodology: Integrating hardware and software models, in: J. Billington and W. Reisig (Ed.) Application and Theory of Petri Nets 1996, Springer, LNCS 1091:133–152, 1996.
A. Kuhn. Prozessketten in der Logistik, Entwicklungstrends und Umsetzungsstrategien (in German). Verlag Praxiswissen, Dortmund, 1995.
T. Murata. Petri nets: properties, analysis and applications. Proc. of the IEEE 77 (1989), pages 541–580.
W. M. P. van der Aalst. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computer 8(1), pages 21–66, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Buchholz, P., Tepper, C. (2005). Functional Analysis of Process-Oriented Systems. In: Fleuren, H., den Hertog, D., Kort, P. (eds) Operations Research Proceedings 2004. Operations Research Proceedings, vol 2004. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-27679-3_16
Download citation
DOI: https://doi.org/10.1007/3-540-27679-3_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24274-1
Online ISBN: 978-3-540-27679-1
eBook Packages: Business and EconomicsBusiness and Management (R0)