Citation Impact
Citing Papers
Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems
1986
Petri nets: Properties, analysis and applications
1989 Standout
Distributed Software System Design Representation Using Modified Petri Nets
1983
Foundations for the study of software architecture
1992 Standout
Modeling and analysis of communication and cooperation protocols using petri net based models
1982
The AltaRica Formalism for Describing Concurrent Systems
1999
An overview of fault tree analysis and its application in model based dependability analysis
2017 Standout
Works of Michael W. Shields being referenced
COSY ? a system specification language based on paths and processes
1979