Login / Signup
Ryoya Shiraki
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 2
Top Topics
Business Processes
Inter Organizational
Ws Bpel
Petri Net
Top Venues
IIAI-AAI
FedCSIS (Position Papers)
</>
Publications
</>
Ryoya Shiraki
,
Yoshiyuki Shinkawa
Verification of Business Processes with Time Constraints.
IIAI-AAI
(2017)
Yoshiyuki Shinkawa
,
Ryoya Shiraki
Temporal Evaluation of Business Processes Using Timed Colored Petri Nets.
FedCSIS (Position Papers)
(2017)