OU Portal
Log In
Welcome
Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
Error:
Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.
{}
Close
Publikační činnost
Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Record type:
stať ve sborníku (D)
Home Department:
Ústav pro výzkum a aplikace fuzzy modelování (94410)
Title:
Information System Process Management using Petri nets (in Czech)
Citace
Procházka, J. a Klimeš, C. Information System Process Management using Petri nets (in Czech).
In:
Sborník mezinárodní konference Svět informačních systémů 2007.
Zlín: Akademia Centrum, 2007. Akademia Centrum, 2007. s. 127-133. ISBN 80-7318-561-9.
Subtitle
Publication year:
2007
Obor:
Využití počítačů, robotika a její aplikace
Number of pages:
7
Page from:
127
Page to:
133
Form of publication:
ISBN code:
80-7318-561-9
ISSN code:
Proceedings title:
Sborník mezinárodní konference Svět informačních systémů 2007
Proceedings:
Mezinárodní
Publisher name:
Akademia Centrum
Place of publishing:
Zlín
Country of Publication:
Sborník vydaný v ČR
Název konference:
Svět informačních systémů 2007
Místo konání konference:
UTB Zlín
Datum zahájení konference:
Typ akce podle státní
příslušnosti účastníků:
Evropská akce
WoS code:
EID:
Key words in English:
Coloured Petri nets, business process modelling
Annotation in original language:
Příspěvek se zabývá problematikou procesního modelování pomocí explicitních modelů v informačních systémech s využitím formalismů (konkrétně Petriho sítí). Představeny jsou problémy, které na poli modelování byznys procesů panují a jejich možné řešení pomocí formálních metod ve spojení s informačními systémy.
Annotation in english language:
This paper deals with business process modeling based on explicit models using information systems and formal methods (namely Petri nets). We introduce problems that arise on business process modeling field together with their solution using formal methods and information systems.
References
Reference
R01:
RIV/61988987:17610/07:A1000JV2
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules