Enhancing Formal Methods Integration with ACP2Petri
Journal Title: Journal of Information and Organizational Sciences - Year 2016, Vol 40, Issue 2
Abstract
The paper deals with the ACP2Petri tool, providing a transformation of process algebraic specification to equivalent Petri net-based specification. Long-term practical experiences with the tool revealed some suggestions for its update and extension. Shortcomings and limitations found are described and proposed solutions provided within the paper. Implemented extensions, simplifying the usage of the tool and providing more options for analysis of particular transformation, are also presented. One of the most evident extensions of the tool is its graphical user interface, which allows for convenient management and detailed control over the process of transformation.
Authors and Affiliations
Slavomír Šimoňák, Martin Šolc
Keywords
Related Articles
- EP ID EP404338
- DOI 10.31341/jios.40.2.4
- Views 126
- Downloads 0
A Study on Knowledge Gain and Retention when Using Multimedia Learning Materials of Different Quality
The usage of multimedia has proven to foster meaningful learning, but not every multimedia resource will necessarily contribute to the teaching-learning process. Since for the development of multimedia learning materials...
The Development of Conceptual, Mathematical and System Dynamics Model for Food Industry Wastewater Purifying System
The paper presents the development of the conceptual, mathematical and system dynamics model for the food industry wastewater purification system which removes organic matter. The food industry often located in places wh...
Utilization of Discrete Event Simulation in Business Processes Management Projects: a Literature Review
Discrete event simulation (DES) software is often used in business process management (BPM) projects, in order to support modeling, change and automatization of process modeling. However, the current research lacks syste...
Technology Acceptance Model Based Study of Students’ Attitudes Toward Use of Enterprise Resource Planning Solutions
Enterprise Resource Planning (ERP) solutions are the most frequently used software tool in companies in all industries. Therefore, the labour market requires the knowledge and skills for usage of ERP solutions from gradu...
Key Factors of an Organization’s Environment for the Acquisition and Assimilation of an Innovation
The paper deals with influential factors of an organization’s environment in the initial phase of diffusion of innovations (DOI) within the organization. A qualitative research was carried out with two expert groups: one...