Browsing by Subject Petri nets
Showing results 11 to 14 of 14
< previous
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
Nov-2009 | PNML based composition in non-autonomous Petri net models20.500.12207/514 | Gomes, L.; Barros, João Paulo | conferenceObject | closedAccess |
Sep-2010 | Scenario-based modeling in industrial information systems20.500.12207/641 | Machado, Ricardo; Fernandes, Joao; Barros, João Paulo | conferenceObject | info:eu-repo/semantics/closedAccess |
2022 | Towards an integrated tool support for the analysis of IOPT Nets using the Spin Model Checker20.500.12207/5698 | Barros, João Paulo; Gomes, Luís | article | restrictedAccess |
12-Sep-2017 | Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards20.500.12207/4787 | Ataíde, Artur; Barros, João Paulo; Brito, Isabel Sofia; Gomes, Luís | conferenceObject | closedAccess |