Login / Signup
Piotr Mroz
Publication Activity (10 Years)
Years Active: 2012-2014
Publications (10 Years): 0
Top Topics
Holonic Manufacturing Systems
Petri Net
Web Service Composition
Model Checking
Top Venues
HSI
NESEA
</>
Publications
</>
Iwona Grobelna
,
Monika Wisniewska
,
Remigiusz Wisniewski
,
Michal Grobelny
,
Piotr Mroz
Decomposition, validation and documentation of control process specification in form of a Petri net.
HSI
(2014)
Arkadiusz Bukowiec
,
Piotr Mroz
An FPGA synthesis of the distributed control systems designed with Petri nets.
NESEA
(2012)