By Topic

The ECORP approach to Petri net tool evaluation

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

6 Author(s)
Debaque, A.-C. ; Group DMR Inc., Montreal, Que., Canada ; Freedman, P. ; Goutal, J.-M. ; Keller, R.
more authors

ECORP is a comprehensive approach for evaluating Petri net (PN) tools, i.e. CASE tools based on the PN formalism. Technical, managerial, and usage issues are addressed by way of an evaluation questionnaire defined by an extensive list of fine grained yes/no questions together with comment fields. In addition, we have defined two `canonical' examples based on previous project experience at CRIM, related to the formal modelling and analysis of business organisations and of computerized control for rail transport. Only by implementing the very same examples using the various tools, does it becomes possible to compare them in a sufficiently detailed way to make their strengths and weaknesses apparent. By way of conclusion, we suggest guidelines suitable for choosing from among the various tools available according to the nature of the application at hand

Published in:

Electrical and Computer Engineering, 1994. Conference Proceedings. 1994 Canadian Conference on

Date of Conference:

25-28 Sep 1994