Hardware Behavioural Modelling, Verification and Synthesis with UML 2.x Activity Diagrams

Formal Methods: State of the Art and Future Directions

Jeannette M. Wing · 1996 · 1.1K citations

Computing, Computer Science, Formal Methods +11

Logic in computer science: modelling and reasoning about systems

Choice Reviews Online · 2005 · 875 citations

Computing, Computer Science, Knowledge Representation +11

Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets

2008 · 90 citations

Architecture, Systems Engineering, Diagramming +13

Petri nets and Activity Diagrams in logic controller specification - transformation and verification

Iwona Grobelna, Michał Grobelny, Marian Adamski · International Conference Mixed Design of Integrated Circuits and Systems · 2010 · 27 citations

Computing, Computer Science, Systems Engineering +17

Workflow process definition and their applications in e-commerce

Yen-Liang Chang, ShihLiang Chen, Chyun-Chyi Chen et al. · 2002 · 27 citations

Business, Information Systems, Management Information Systems +17