Showing
1 - 1
results of
1
for search '
'
Skip to content
Home
Collections
High Impact Articles
Jawi Collection
Malay Medicine
Search Options
UiTM Open Access
Search by UiTM Scopus
Advanced Search
Search by Category
Discovery Service
Sources
UiTM Journals
List UiTM Journal in IR
Statistic
About
Open Access
Creative Commons Licenses
COKI | Malaysia Open Access
Report Technical
User Guide
Contact Us
Search Tips
FAQs
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Reset Filters
Suggested Topics:
Morphisms
Reset Filters
Show filters (1)
Suggested Topics:
Morphisms
Search Results
Suggested Topics within your search.
Suggested Topics within your search.
Component behaviour
1
Composition
1
Correct models
1
Formal modeling
1
Interaction
1
Morphisms
NET component
1
Petri nets
1
Property
1
Software engineering
1
Soundness
1
Workflow nets
1
Showing
1 - 1
results of
1
for search '
'
, query time: 0.10s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components
by
Bernardinello, L.
,
Lomazova, I.
,
Nesterov, R.
,
Pomello, L.
Published 2023
Call Number:
Loading...
Located:
Loading...
View Fulltext in Publisher
View in Scopus
Article
Search Tools:
Get RSS Feed
—
Email this Search
Back
Narrow Search
Format
Article
1
Sources
List of Scopus
1
Collections
High Impact Journal
1
Author
Bernardinello, L.
1
Lomazova, I.
1
Nesterov, R.
1
Pomello, L.
1
Language
English
1
Year of Publication
From:
To:
Loading...
