Giving back some freedom to the system designer

DOI10.1002/SRES.3850020405zbMath0579.68039OpenAlexW1976713332MaRDI QIDQ3702521

C. Simone, Fiorella de Cindio, G. De Michelis

Publication date: 1985

Published in: Systems Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/sres.3850020405

zbMATH Keywords

Petri netsfunctional abstractionconcurrent system designObservation EquivalenceOrganizational abstractionsuperposed automata nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Giving back some freedom to the system designer