Eugenio Battiston;V. Crespi;Fiorella de Cindio;Giancarlo Mauri
-;-;-;-
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
A component-based Petri net model for specifying and validating cooperative information systems
Data & Knowledge Engineering
Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal