Strategies for Modeling Complex Processes Using Colored Petri Nets

Autor:	Aalst, van der, W.M.P., Stahl, C., Westergaard, M., Jensen, K., Balbo, G., Koutny, M., Wolf, K.
Přispěvatelé:	Process Science
Rok vydání:	2013
Předmět:	Formalism (philosophy of mathematics) Software CPN Tools Computer science Colored petri business.industry Programming language Software design pattern Artificial intelligence Petri net business computer.software_genre computer
Zdroj:	Transactions on Petri Nets and Other Models of Concurrency VII ISBN: 9783642381423 Transactions on Petri Nets and Other Models of Concurrency VII, 6-55 STARTPAGE=6;ENDPAGE=55;TITLE=Transactions on Petri Nets and Other Models of Concurrency VII
DOI:	10.1007/978-3-642-38143-0_2
Popis:	Colored Petri Nets (CPNs) extend the classical Petri net formalism with data, time, and hierarchy. These extensions make it possible to model complex processes as CPNs without being forced to abstract from relevant aspects. Moreover, CPNs are supported by CPN Tools—a powerful toolset that supports the design and analysis of such processes. The expressiveness of the CPN language enables different modeling approaches. Typically, the same process can be modeled in numerous ways. As a result, inexperienced modelers may create CPNs that are unnecessarily convoluted and bulky. Using a running example and a set of design patterns, we show how to solve typical design problems in terms of CPNs. By following these guidelines, it is possible to create succinct, but also comprehensible, models. In addition, we present some new features supported by CPN Tools 3.0 (e.g., priorities and real time stamps) and show how the software can be used for performance analysis (i.e., comparing design alternatives using simulation).
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f93187f6372abb70d0cbd73ad22d25b https://doi.org/10.1007/978-3-642-38143-0_2 Zobrazit plný text záznamu